class Main inherits IO {
    main() : SELF_TYPE {
	{
		(* prints out "c" from "Object" and "ool" from "Bool" *)
	    out_string((new Object).type_name().substr(4,1)).
	    out_string((isvoid self).type_name().substr(1,3));
	    out_string("\n");
	}
    };
};