Man pages matching name function::user_int_e in section 3stap: