#include <u.h>
#include <libc.h>
#include <thread.h>

void
thread(int @c)
{
	while(@c)
		print("still going\n");
	print("döner\n");
}

void
threadmain(int, char**)
{
	int @c;

	chanset(c, 0);
	cothread(thread(c), 4096);
	c @= 1;
	c @= 5;
	c @= 0;
}