let mk_global_comment txt =
  globals_queue:=GText (txt)::(!globals_queue)