module Altsteps {

    type port p1 message {
        inout integer;
    }

    type component someComponent {
        port p1 p;
    }
    
    type record t1 {};
    
    altstep as_0() runs on someComponent{
        timer localTimer;
        var integer v_s0;
        var integer v_s1;
        var integer v_s2 := 1;
        var integer v_s3;
        var integer v_s4;
        const integer c_s5 := v_s2 + v_s1;
        var template t1 template1;
        template t1 template1 := v_s2 + v_s1;
        var someComponent comp1;
        [] p.receive(template1) -> value v_s1 
        {
            v_s3 := v_s1;
        }
        [] p.receive(v_s3) -> value v_s4 
        {
            v_s3 := v_s1;
            v_s3 := v_s4;
        }

    }

}