copy_file_range(r1, 0x0, r0, 0x0, 0x200f5ef, 0x600)
BUG: leak checking failed