Libraries anvil math randomize

void randomize(int seed)
Sets the seed of random number generator.