CONSOLE_WRITE_BUF_SIZE
static char console_write_buf[CONSOLE_WRITE_BUF_SIZE];
if (dest_len >= CONSOLE_WRITE_BUF_SIZE - 1) {