void fatal_error(int error_code) { if (g_fatal_error_handler) { g_fatal_error_handler(error_code); } else { exit(error_code); } }
static void NaClFatalErrorHandlerCallback(void *state, char *buf, size_t buf_bytes) { CHECK(state == NULL); g_fatal_error_handler(buf, buf_bytes); }