# https://syzkaller.appspot.com/bug?id=aa743e61f2381b89d0e71fafc427af90207290a9
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"threaded":true,"collide":true,"procs":1,"sandbox":"","fault_call":-1,"close_fds":false}
r0 = open(&(0x7f0000000040)='./file0\x00', 0x80000000000206, 0x0)
ftruncate(r0, 0x20000000004)
r1 = open(&(0x7f0000000040)='./file0\x00', 0x80000000000206, 0x0)
ftruncate(r1, 0x7)