/* vi: set tabstop=4 shiftwidth=4: */

/*
 * $Id: options.h,v 1.2 1996/12/28 22:11:22 schweikh Exp $
 */

/*@-exportvar@ */

                  /* @unchecked@ *//* @unused@ */ extern char *opt_arg;
                  /* @unchecked@ *//* @unused@ */ extern int opt_ind;
                  /* @unchecked@ *//* @unused@ */ extern int opt_opt;
                  /* @unchecked@ *//* @unused@ */ extern int opt_err;

 /* @unused@ */ int
get_opt (int, char **, const char *)
 /* @globals  opt_arg, opt_ind, opt_opt, opt_err, stderr@ */
 /* @modifies opt_arg, opt_ind, opt_opt, *stderr@ */ ;