external
mul2exp: t
->
int
->
t =
"_mlgmp_z_mul_2exp"