### DF-3046 fixed kernel, test 1: sysctl kern.dfrig12_status captured verbatim ###
 | DF3046 T1a: overload=0x00 (planted byte past ej=0xa5) badopt=1 | DF3046 T1b: len=3 overload=0x00 (first value byte taken, len ignored) | DF3046 T1c: full-size vend-end overload=0x00 (guard byte at bp+sizeof read, badopt=1) | DF3046 T1c2: replylen=1458 vend-end overload=0x00 (tail-padding byte at bp+1458, past vend[1221]) | DF3046 T1d: sname-end overload=0x02 (== planted bp->file[0]=0x5c, adjacent field) | DF3046 T1e: repeat with file[0]=0x77 -> overload=0x02 | DF3046 T1f: file-end overload=0x01 (== vend[0], the cookie byte 99)