external
get_gmp_compile_version: unit
->
int*int*int =
"_mlgmp_get_compile_version"