public static int test()
    {
        CastGetfieldAux2 value1 = new CastGetfieldAux();

        if (((CastGetfieldAux)value1).value3 != CastGetfieldAux.CONST)
        {
            return(2);
        }
        return(0);
    }
	public static int test() {
		CastGetfieldAux2 value1 = new CastGetfieldAux();
		if (((CastGetfieldAux)value1).value3 != CastGetfieldAux.CONST)
			return 2;
		return 0;
	}