Man pages matching name fbb::randommt in section 3bobcat: