sendfile(r6, r7, 0x0, 0xffe3)
sendto$unix(r5, 0x0, 0x0, 0x0, 0x0, 0x0)
BUG: leak checking failed