1 /*
2  *      Copyright (c) 2003 Michael T Pins.  All rights reserved.
3  */
4 
5 int             set_variable(char *, int, char *);
6 void            toggle_variable(char *);
7 void            lock_variable(char *);
8 int             test_variable(char *);
9 void            var_compl_opts(int);
10 int             var_completion(char *, int);
11 void            mark_var_stack(void);
12 int             push_variable(char *);
13 void            restore_variables(void);
14 void            disp_variables(int, char *);
15 void            print_variable_config(FILE *, int);
16 void            var_options(char **, register char *, flag_type *);
17