Man pages matching name encode_int in section 0: