ACM random number generator