Man pages matching name rand_int in section 12345: