Man pages matching name hal in section 3hal: