/* this file is processed by gcc with special options to extract
   a list of errno codes.  */
#include <errno.h>