external
bin_ui: n: t
->
k: int
->
t=
"_mlgmp_z_bin_ui"