prctl$PR_SET_PDEATHSIG(0xf, 0x0)