r0 = creat(&(0x7f0000000000)='./file0\x00', 0x0) ftruncate(r0, 0x80) fallocate(r0, 0x20, 0x0, 0xfffffff7000)