method print s =
      buffer#insert ~iter: buffer#end_iter (Ed_misc.to_utf8 s)