Comment by loeg

Should processes not be able to wait after exit_signals? That seems like a plausible invariant.