let mk_global_comment txt = mk_global (GText (txt))