copy_file_range(r8, &(0x7f00000000c0)=0x8, r8, &(0x7f0000000200)=0x80000000, 0x100, 0x0)
BUG: leak checking failed