#include <cstdio>

#include "../bench.h"

_Monitor MyMonitor {
  public:
	void __attribute__((noinline)) call() {}
} m;

volatile bool go = false;

void call() {
	go = true;
	for ( size_t i = 0; i < times; i += 1 ) {
		m.call();
	}
	go = false;
}
_Task T {
	void main() {
		while ( ! go );
		while ( go ) { m.call(); }
	}
};
int main( int argc, char * argv[] ) {
	BENCH_START()
	uProcessor p;
	T t;
	BENCH(
		call(),
		result
	)
	printf( "%g\n", result );
}

// Local Variables: //
// tab-width: 4 //
// End: //