text: /*
   * Header for the getopt() we supply if the platform doesn't supply it.
   */
  extern char *optarg;			/* getopt(3) external variables */
  extern int optind, opterr, optopt;
  
  extern int getopt(int nargc, char * const *nargv, const char *ostr);
  