Class Main inherits IO {
	main(): Object { {
		out_int(1+(2+3));
		out_string("\n");
	}
	};
};