void Error(const char *s) { if (ErrorCallbackFunction != NULL) ErrorCallbackFunction(s, ErrorCallbackContext); cerr << s << "\n"; _ntl_abort(); }
void Error(const char *s) { cerr << s << "\n"; _ntl_abort(); }
void Error(const char *s) { printf("%s\n", s ); _ntl_abort(); }