class Main inherits IO {
	a : Int <- 13;
	b : Bool;


  main(): Object { {
		case a of
			str : String => out_string( str );
			i : Int => out_int( i );
		esac;
		out_string("\nHooray!\n");
  } };

};