### DF-1011 FIXED (-DFIXED) build+run
pass1: nfmt=1 nfrm=258 nitv=65790 (true nitv should be 65790)
kmalloc interval slab: nitv=65790 -> 263160 bytes
pass2: actually wrote 65790 intervals (263160 bytes) into 263160-byte slab
RESULT: NO OVERFLOW (nitv widened / validated)
rc=0