int getopt(int, char **, char *);