180                 const char *on, *off;  in output_units_list()  local
191                         off = ansi_normal();  in output_units_list()
194                         off = ansi_normal();  in output_units_list()
200                                on, records, off);  in output_units_list()
204                                on, records, off);  in output_units_list()
353         const char *on, *off;  in output_sockets_list()  local
408                 off = ansi_normal();  in output_sockets_list()
411                 off = ansi_normal();  in output_sockets_list()
419                 printf("\n%s%u sockets listed.%s\n", on, cs, off);  in output_sockets_list()
602         const char *on, *off;  in output_timers_list()  local
646                 off = ansi_normal();  in output_timers_list()
649                 off = ansi_normal();  in output_timers_list()
657                 printf("\n%s%u timers listed.%s\n", on, n, off);  in output_timers_list()