print_ncpstate
print_ncpstate(0, NULL);
extern void print_ncpstate __P((int, FILE *)); /* prints NCP state */