function str = extract_java_lang_stringbuffer ( buf )
  printf("String is %d characters long\n", buf(77)) ;
  printf("Buffer is %d characters long\n", buf(101)) ;
  str = char(buf(103:2:end)(1:buf(77))) ;
endfunction