print_procs
return (print_procs(idtype, idargc, idargv));
static int print_procs(idtype_t, int, char *[]);