r0 = fork()
wait4(0x0, 0x0, 0x0, &(0x7f0000000100))
tkill(r0, 0x23)