Man pages matching name get_random in section 16: