Proposal: new signal-handling API