constant "pseudo-random number generator"