#include <kernel>
#include <thread>
#include <time>

#ifndef PREEMPTION_RATE
#error PREEMPTION_RATE not defined in makefile
#endif

Duration default_preemption() {
	return PREEMPTION_RATE;
}

static const unsigned long N = 60_000ul;

thread worker_t {};

void main(worker_t & this) {}

int main(int argc, char* argv[]) {
	processor p;
	for(int i = 0; i < N; i++) {
		worker_t w[7];
	}
}