Title: Random number generation and testing reference manual