STATE 0 10000 RANDOM 100 0 134217727 256 1000 1000 0
STATE 1 1000000 TRACE tests/quick/se/70.tgen/tgen-simple-mem.trc 100
STATE 2 1000 IDLE
INIT 0
TRANSITION 0 1 1
TRANSITION 1 2 1
TRANSITION 2 0 1