external get_gmp_runtime_version: unit->string =
  "_mlgmp_get_runtime_version"