external
bxor: t
->
t
->
t =
"_mlgmp_z_xor"