public class TestContraVariant {

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

    main(x) {
    	return m(x);
    }
}