let
mk_global_comment txt = mk_global (
GText
(txt))