### DF-3046 baseline kernel, test 1 (TAG_OVERLOAD length not validated): console trace captured verbatim ###

dfrig12: === test 1 begin ===
dfrig12: DF3046 T1a: overload=0xa5 (planted byte past ej=0xa5) badopt=0
dfrig12: DF3046 T1b: len=3 overload=0x02 (first value byte taken, len ignored)
dfrig12: DF3046 T1c: full-size vend-end overload=0x03 (guard byte at bp+sizeof read, badopt=0)
dfrig12: DF3046 T1c2: replylen=1458 vend-end overload=0xee (tail-padding byte at bp+1458, past vend[1221])
dfrig12: DF3046 T1d: sname-end overload=0x5c (== planted bp->file[0]=0x5c, adjacent field)
dfrig12: DF3046 T1e: repeat with file[0]=0x77 -> overload=0x77
dfrig12: DF3046 T1f: file-end overload=0x77 (== vend[0], the cookie byte 99)
dfrig12: === test 1 end ===