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

/*
 * $Id: options.h,v 2.1 2005/06/17 20:48:15 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@*/;