r0 = fork()
tkill(r0, 0x3)
wait4(r0, &(0x7f0000000000), 0x20000000, &(0x7f0000000040))