module MiscStatements {
    function f_LogVerdictAction() {
        var integer v_s0;
        var integer v_s1;
        var integer v_s2 := 1;
        var integer v_s3;
        var integer v_s4;

        log(v_s4, v_s2);
        setverdict(v_s2, v_s3, v_s4);
        setverdict(v_s1, v_s2, v_s4);
        
        action(v_s1 & v_s2 & v_s4); 
        testcase.stop(v_s2, v_s4)
    }
}