extend to 0x7ffffffffffff000: OK
pwrite top byte: OK
truncate to 0x7fffffffffff8000: OK (no EFBIG, no panic)
cleanup truncate to 0: OK
RC=0