Man pages matching name get_int in section 12345: