I'd prefer not to use the random module for this, since it is effectively setting and modifying global state, and might screw up someone who is using `random` for other purposes.  Isn't there private state we can set inside the engine's `__main__` module instead?