write$binfmt_elf64(r0, &(0x7f00000001c0)=ANY=[], 0xfdef)
BUG: leak checking failed