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