r7 = openat$tcp_congestion(0xffffffffffffff9c, &(0x7f0000000040), 0x1, 0x0)
lseek(r7, 0x7, 0x0)
r8 = openat(0xffffffffffffff9c, &(0x7f0000000100)='./file1\x00', 0xa001, 0x0)
sendfile(r8, r6, 0x0, 0x7ffffff9)
fallocate(r8, 0x0, 0x1000, 0xe7)
BUG: leak checking failed