/* Show simplified fallback BSOD screen. Used if new BSOD happens before previous BSOD can be shown.  */
static void fallback_bsod(const char *fmt, const char *file_name, int line_number, va_list args)
/* Show simplified fallback BSOD screen. Used if new BSOD happens before previous BSOD can be shown.  */
static void fallback_bsod(const char *fmt, const char *file_name, int line_number, va_list args)
{
        vsnprintf(fallback_bsod_text + consumed, std::size(fallback_bsod_text) - consumed, fmt, args);
    }
    render_text_align(Rect16(8, 10, 230, 290),
        string_view_utf8::MakeRAM((const uint8_t *)fallback_bsod_text), resource_font(IDR_FNT_SMALL), COLOR_NAVY, COLOR_WHITE,
        { 0, 0, 0, 0 }, { Align_t::LeftTop(), is_multiline::yes });
    while (1) {
        wdt_iwdg_refresh();
    }
}