// expect: seven/
include rt;
fn main() {
	int k = 7;
	switch (k) {
	case 1 + 2 * 3: rt.put_s("seven");
	default: rt.put_s("other");
	}
	rt.put_c(10);
	return 0;
}
// zc0: skip