Man pages matching name get_str_gmp in section 7: