public class TestContraVariant {

    m(x) {
        var y;
        x = y;
        return y;
    }
    
    main(x) {
    	return m(x);
    }
}