71 #define PER_THREAD (1000)    85             panic(0, 
"counter returned negative");
    87             panic(0, 
"counter returned smaller than previous");
 
void gwthread_join(long thread)
 
static void check(void *arg)
 
unsigned long counter_increase(Counter *counter)
 
Counter * counter_create(void)
 
void log_set_output_level(enum output_level level)
 
#define gwthread_create(func, arg)