external
mul: t
->
t
->
t =
"_mlgmp_z_mul"