void console_write(xyw_byte *data, xyw_byte addr, xyw_byte val, xyw_byte *error)
{
    (void)error;
    switch (addr)
    {
    case XYW_CONSOLE_OUTPUT:
        fputc(val, stdout);
        fflush(stdout);
        break;
    case XYW_CONSOLE_ERROR:
        fputc(val, stderr);
        fflush(stderr);
        break;
    }
    data[addr] = val;
}