inline __attribute__((noreturn)) void _Abort( const char *prefix, const std::string &msg) { _Abort(prefix, msg.c_str()); }
inline NORETURN void _Abort(const char* prefix, const std::string& message) { _Abort(prefix, message.c_str()); }