r0 = memfd_create(&(0x7f0000000340)='\x00', 0x0)
ftruncate(r0, 0x200000)
r1 = memfd_create(&(0x7f0000000340)='\x00', 0x0)
copy_file_range(r0, &(0x7f0000000180)=0xfff, r1, 0x0, 0x9, 0x0)