void deliver_signals(void);