# https://syzkaller.appspot.com/bug?id=2f406e29abd4ecab6a00c95ebd0107476959adae
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"repeat":true,"procs":1,"sandbox":"","fault_call":-1,"tmpdir":true}
r0 = open(&(0x7f00000000c0)='./file0\x00', 0x80000000000206, 0x0)
ftruncate(r0, 0x7e2780e3)
lseek(r0, 0x63, 0x8000000000000003)
ftruncate(r0, 0xb000000)