address read: 0xfffff8008d520955
  OOB        cp=255  char=0xFF -> b_upcase[0x7F] = 0x00 (kernel heap byte)
    address read: 0xfffff8008d5290cd  (= base + 34813 = base + 34677 past end of 136-byte alloc)
  RESULT: in_bounds=0xAA  oob=0x00  DIFFERENT (proves OOB reads distinct memory)
  OOB samples at cp=255: [0xfffff8008d5290cd]=0x00 [0xfffff8008d529155]=0x00 [0xfffff8008d5291dd]=0x00 [0xfffff8008d529265]=0x00 [0xfffff8008d5292ed]=0x00 [0xfffff8008d529375]=0x00 [0xfffff8008d5293fd]=0x00 [0xfffff8008d529485]=0x00
=== DF-0864 harness complete ===
=== DF-0864 harness: hpfs_toupper OOB read demo ===
  simulated hpm_cpdblk: 1 entries x 136 bytes = 136-byte alloc @ 0xfffff8008d8c27c0
  IN-BOUNDS  cp=0   char=0xFF -> b_upcase[0x7F] = 0xAA (marker=0xAA)
    address read: 0xfffff8008d8c2845
  OOB        cp=255  char=0xFF -> b_upcase[0x7F] = 0x00 (kernel heap byte)
    address read: 0xfffff8008d8cafbd  (= base + 34813 = base + 34677 past end of 136-byte alloc)
  RESULT: in_bounds=0xAA  oob=0x00  DIFFERENT (proves OOB reads distinct memory)
  OOB samples at cp=255: [0xfffff8008d8cafbd]=0x00 [0xfffff8008d8cb045]=0x00 [0xfffff8008d8cb0cd]=0x00 [0xfffff8008d8cb155]=0x00 [0xfffff8008d8cb1dd]=0x00 [0xfffff8008d8cb265]=0x00 [0xfffff8008d8cb2ed]=0x00 [0xfffff8008d8cb375]=0x00
=== DF-0864 harness complete ===