external scan0: t->int->int = "_mlgmp_z_scan0"