#181: Make randomize(seed) actually use the seed.