// enums are a type of their own in typed code: their members, and only those, take them; an enum still becomes an int
typecheck on;
enum color { RED, GREEN = 5, BLUE };
int paint(color c) { return c; }
int main() {
	color c = color.BLUE;
	color d = RED;
	int n = c;
	put_n(n); put_c(32); put_n(paint(GREEN)); put_c(32); put_n(d == color.RED);
	put_c(10);
	return 0;
}