contract x {
            int override y = 1;
        }