Doesn't the python ``signal`` module already name-number map most of these?