Checking output of randomization code