r0 = creat(&(0x7f00000003c0)='./file0\x00', 0x0)
truncate(&(0x7f00000005c0)='./file0\x00', 0x7ff)
lseek(r0, 0x0, 0x4)