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

void thread(int @c);

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

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

int getit(int@);

void
thread(int @c)
{
	print("%d\n", getit(c));
}

int
getit(int @c)
{
//	print("foo\n");
	return @c;
}