wc_polled_putchar
wc_polled_putchar(arg, '\r');
static void wc_polled_putchar(cons_polledio_arg_t arg,
wc_polled_putchar;