===== 12 GA4 GTE AFTER 4 | BIOS 19951204 System ROM Version 3.0 11/18/96 A
BadVaddr as the group starts: 00000400

GTE: an input written n nops after the command (old 00010002, new 00030004; cold, cached):
CDP, RGBC 4 after: 00000040 00000040
CDP, RGBC 6 after: 00000040 00000040
CDP, RGBC 8 after: 00000040 00000040
CDP, RGBC 12 after: 00000040 00000040
DCPL, RGBC 0 after: 00000020 00000020
DCPL, RGBC 1 after: 00000020 00000020
DCPL, RGBC 2 after: 00000020 00000020
DCPL, RGBC 4 after: 00000020 00000020
DCPL, RGBC 6 after: 00000020 00000020
AVSZ3, SZ3 0 after: 00000202 00000202
AVSZ3, SZ3 1 after: 00000202 00000202
AVSZ3, SZ3 2 after: 00000202 00000202
AVSZ3, SZ3 4 after: 00000202 00000202
GPF, IR0 0 after: 00000002 00000002
GPF, IR0 1 after: 00000002 00000002
GPF, IR0 2 after: 00000002 00000002
GPF, IR0 4 after: 00000002 00000002
NCT, VXY2 0 after: 00001004 00001004
NCT, VXY2 4 after: 00001002 00001004
NCT, VXY2 8 after: 00001002 00001002
NCT, VXY2 12 after: 00001002 00001002
NCT, VXY2 16 after: 00001002 00001002
NCT, VXY2 20 after: 00001002 00001002
NCT, VXY2 24 after: 00001002 00001002
NCT, VXY2 28 after: 00001002 00001002
NCDT, VXY2 0 after: 00000401 00000401
NCDT, VXY2 8 after: 00000400 00000400
NCDT, VXY2 16 after: 00000400 00000400
NCDT, VXY2 24 after: 00000400 00000400
NCDT, VXY2 28 after: 00000400 00000400
NCDT, VXY2 32 after: 00000400 00000400
NCDT, VXY2 36 after: 00000400 00000400
NCDT, VXY2 40 after: 00000400 00000400
NCCT, VXY2 0 after: 00000401 00000401
NCCT, VXY2 8 after: 00000400 00000400
NCCT, VXY2 16 after: 00000400 00000400
NCCT, VXY2 24 after: 00000400 00000400
NCCT, VXY2 28 after: 00000400 00000400
NCCT, VXY2 32 after: 00000400 00000400
NCCT, VXY2 36 after: 00000400 00000400
Done.