// prandom - PREDICTABLE random number generator
float prandom();