module Timers {
    function f_Timer() {
        var integer v_s0;
        var integer v_s1;
        var integer v_s2 := 1;
        var integer v_s3;
        var integer v_s4;
        var boolean v_s5;
        
        timer t0;
        timer t1 := v_s1;
        timer t2 := v_s2;
        
        t0.start(v_s1 + v_s2);
        t1.start;
        t2.start(v_s1 + v_s2);
        
        t1.stop;
        v_s4 := t2.read;
        v_s5 := t2.running;
        t0.timeout;
    }
}