# Coverage pass: coin/start, play, then idle until death, continue, repeat;
# also poke the test/service/select inputs.
900 coin
1000 start
1200 a
1300 a
1400 a
1500 a
1600 a
1700 a
1800 a
1900 a
2000 a
2100 a
1200-1900 right
3600 coin
3700 start
3900 a
4000 a
4100 a
4200 a
4300 a
4400 a
4500 a
5800 coin
5900 start
6100 a
6200 a
6300 a
6400 a
6500 a
6600 a
6700 a
8000 coin
8100 start
8300 a
8400 a
8500 a
8600 a
8700 a
8800 a
8900 a
9500 test
9600 down
9700 down
9800 a
10200 test
10600 service
10800 select
11000 a
11100 a
11200 a
11300 a
11400 a
11500 a
11600 a
11700 a
