serial_putchar
serial_putchar('\r');
serial_putchar(*str++);
static void __section(".inittext") serial_putchar(int ch)
serial_putchar(ch);