panic_printf
panic_printf("panic: %s\n", ci->ci_panicbuf);
panic_printf("panic: ");
panic_printf("\n");