console_puts
console_puts((const char *)nbp->b_rptr, cc);
extern void console_puts(const char *, size_t);