#ifdef DECL_GETOPT
extern int getopt (int, char * const*, const char *);
#endif