external
cmp_ui : t
->
int
->
int
->
int =
"_mlgmp_q_cmp_ui"