Design and testing of the System 4 random number generator