module SelectCase {
    function f_Select() {
        var integer v_s0;
        var integer v_s1;
        var integer v_s2 := 1;
        var integer v_s3;
        var integer v_s4;
        var integer v_s5;

        select (v_s1) 
        {
            case (v_s2) {
                v_s5 := v_s2;
            }
            case (v_s3, v_s4) {
                v_s5 := v_s2;
                v_s1 := v_s2;
            }
            case else {
                v_s5 := v_s2;
            }
        }
        v_s0 := v_s1 + v_s5;
    }
}