LIO_MAX_CONSOLE_READ_BYTES
static char console_buffer[LIO_MAX_CONSOLE_READ_BYTES];
char leftover[LIO_MAX_CONSOLE_READ_BYTES];