/* override value if permitted by priority */
void print_options(printer_func, void *);
/* print out values of all options */
/* override value if permitted by priority */
void print_options(printer_func, void *);
/* print out values of all options */