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