19 fprintf(stderr,
"FATAL ERROR: %s\n",
message);
35 if (
count++ == 0 && waiting)
void message(int i, int *reduc, int *olddeg, kStrategy strat, int red_result)
T * shared_alloc0(size_t n)
T * shared_alloc(size_t n)
void * malloc(size_t size)
int status int void size_t count
void ThreadError(const char *message)