module Loops {
    function f_ForLoop() {
        var integer v_s0;
        var integer v_s1;
        var integer v_s2 := 1;
        var integer v_s3;
        var integer v_s4;
        for (v_s3:=1; v_s3<=10; v_s3:= v_s3+v_s0) { 
            v_s4:=1+v_s3;
        }
        var integer s5 := v_s4 + v_s3;
     
        for (var integer i:=1; i<7; i:= i+v_s0) { 
            v_s4:=1+i;
        }   
        s5 := v_s4;
    }

    function f_WhileLoop() {
        var integer v_s0;
        var integer v_s1;
        var integer v_s2 := 1;
        
        while (v_s1 < v_s2) {
            v_s0 := v_s2+1;
        }
        
        v_s1 := v_s0;
    }
    
    function f_DoWhileLoop() {
        var integer v_s0;
        var integer v_s1;
        var integer v_s2 := 1;
        
        do {
            v_s0 := v_s2+1;
        } while (v_s1 < v_s2);
        
        v_s1 := v_s0;
    }

    
}