static ts::TVar<int>* x;

tfun int f (ts::TVar<int> y) {
	printf("In f()\n");
	printf("y: %d\n", (int)y);
	return 0;
}

tfun int init () {
	x = new ts::TVar<int>;
	(int&)*x = 57;
	return 0;
}

tfun int main (int argc, char *argv[]) {
	for (int i = 0; i < ts::realsuperSize; i++) {
		tct(atRank(i));
		(int)init();
	}
	printf("Before f()\n");
	printf("x: %d\n", (int)*x);
	(int)f(*x);
	return 0;
}