// (C) 2018-2023 by Folkert van Heusden
// Released under MIT license

[[ noreturn ]] void error_exit(bool sys_err, const char *format, ...);