nolog_print
nolog_print(" ");
pr_dblock(nolog_print, curnt);
nolog_print(" \015");
nolog_print(" ");
pr_dblock(nolog_print, curnt);
nolog_print(" \015");
nolog_print("\015");
void nolog_print(char *format, ...) __PRINTFLIKE(1);