external
bin_uiui: n: int
->
k: int
->
t=
"_mlgmp_z_bin_uiui"