/* this file is processed by gcc with special options to extract a list of signal numbers. */ #include