== DF-3855: well-formed ext-TMDS stream, terminator at +16 ==
  [non-IGP, buggy] walking from 0x002a:
  case 0 (direct write): consumes 4-byte value but DOES NOT advance index
    WREG32(0x0004, 0x55555555)
  case 2 (RMW): reg 0x5554 and 0xffff5555 or 0xaaaa0001
    WREG32(0x5554, 0xaaaa0001)
  unknown id class 5
  terminated at index 0x0038
  buggy walk executed 2 MMIO write(s) and ran PAST the terminator (value 0x5555 re-read as id -> extra case-0 write of 0xaaaaaa data)
  [with index += 4 fix]:
    WREG32(0x0004, 0x55555555)
  terminated at index 0x0030 (at the 0xffff terminator)
  fixed walk executed 1 MMIO write(s) and stopped at the terminator
harness exit=0