The Random Game Generator<