r0 = memfd_create(&(0x7f0000001280)='\x00', 0x0)
lseek(r0, 0xffffffffffffff7f, 0x3)