external
gcd_ui: t
->
t
->
t =
"_mlgmp_z_gcd_ui"