`config_interrupt` only supports handling a single signal. It would be useful to make it handle more. See [this Stack Overflow answer](https://stackoverflow.com/a/35798485/743730) for some ideas.