r0 = fork()
tkill(r0, 0x34)
tkill(r0, 0x3c)
wait4(0x0, 0x0, 0x0, 0xfffffffffffffffc)