external scan1: t->int->int = "_mlgmp_z_scan1"