external init_glx_p2t: unit -> unit = "ml_init_glx_p2t"