return new EnumInstance_c(this, pos, ct, f, name);
return new EnumInstance_c(this, pos, ct, f, name, anonType);
    public EnumInstance enumInstance(Position pos, ClassType ct, Flags f, String name){        assert_(ct);        return new EnumInstance_c(this, pos, ct, f, name);    }