r0 = fork()
tkill(r0, 0x18)
waitid(0x0, 0x0, 0x0, 0xc1000006, &(0x7f0000000140))