// (C) 2018 by folkert@vanheusden.com, released under AGPL 3.0
[[ noreturn ]] void error_exit(bool sys_err, const char *format, ...);