#include <kernel>
#include <monitor>
#include <thread>

static const unsigned long N  = 70_000ul;

#ifndef PREEMPTION_RATE
#define PREEMPTION_RATE 10_000ul
#endif

unsigned int default_preemption() {
	return PREEMPTION_RATE;
}

monitor mon_t {};

mon_t mon;

void foo( mon_t & mutex this ) {}

thread worker_t {};

void main( worker_t & this ) {
	for( unsigned long i = 0; i < N; i++ ) {
		foo( mon );
	}
}

extern "C" {
static worker_t * workers;
}

int main(int argc, char * argv[] ) {
	processor p;
	{
		worker_t w[7];
		workers = w;
	}
}