Testcase for slimit function name mangling

slimit-test.js

function MyClass()
{
    function my_function_nr_0() {
        $(".testing.div0").text("number 0");
    }
    function my_function_nr_1() {
        $(".testing.div1").text("number 1");
    }
    function my_function_nr_2() {
        $(".testing.div2").text("number 2");
    }
    function my_function_nr_3() {
        $(".testing.div3").text("number 3");
    }
    function my_function_nr_4() {
        $(".testing.div4").text("number 4");
    }
    function my_function_nr_5() {
        $(".testing.div5").text("number 5");
    }
    function my_function_nr_6() {
        $(".testing.div6").text("number 6");
    }
    function my_function_nr_7() {
        $(".testing.div7").text("number 7");
    }
    function my_function_nr_8() {
        $(".testing.div8").text("number 8");
    }
    function my_function_nr_9() {
        $(".testing.div9").text("number 9");
    }
    function my_function_nr_10() {
        $(".testing.div10").text("number 10");
    }
    function my_function_nr_11() {
        $(".testing.div11").text("number 11");
    }
    function my_function_nr_12() {
        $(".testing.div12").text("number 12");
    }
    function my_function_nr_13() {
        $(".testing.div13").text("number 13");
    }
    function my_function_nr_14() {
        $(".testing.div14").text("number 14");
    }
    function my_function_nr_15() {
        $(".testing.div15").text("number 15");
    }
    function my_function_nr_16() {
        $(".testing.div16").text("number 16");
    }
    function my_function_nr_17() {
        $(".testing.div17").text("number 17");
    }
    function my_function_nr_18() {
        $(".testing.div18").text("number 18");
    }
    function my_function_nr_19() {
        $(".testing.div19").text("number 19");
    }
    function my_function_nr_20() {
        $(".testing.div20").text("number 20");
    }
    function my_function_nr_21() {
        $(".testing.div21").text("number 21");
    }
    function my_function_nr_22() {
        $(".testing.div22").text("number 22");
    }
    function my_function_nr_23() {
        $(".testing.div23").text("number 23");
    }
    function my_function_nr_24() {
        $(".testing.div24").text("number 24");
    }
    function my_function_nr_25() {
        $(".testing.div25").text("number 25");
    }
    function my_function_nr_26() {
        $(".testing.div26").text("number 26");
    }
    function my_function_nr_27() {
        $(".testing.div27").text("number 27");
    }
    function my_function_nr_28() {
        $(".testing.div28").text("number 28");
    }
    function my_function_nr_29() {
        $(".testing.div29").text("number 29");
    }
    function my_function_nr_30() {
        $(".testing.div30").text("number 30");
    }
    function my_function_nr_31() {
        $(".testing.div31").text("number 31");
    }
    function my_function_nr_32() {
        $(".testing.div32").text("number 32");
    }
    function my_function_nr_33() {
        $(".testing.div33").text("number 33");
    }
    function my_function_nr_34() {
        $(".testing.div34").text("number 34");
    }
    function my_function_nr_35() {
        $(".testing.div35").text("number 35");
    }
    function my_function_nr_36() {
        $(".testing.div36").text("number 36");
    }
    function my_function_nr_37() {
        $(".testing.div37").text("number 37");
    }
    function my_function_nr_38() {
        $(".testing.div38").text("number 38");
    }
    function my_function_nr_39() {
        $(".testing.div39").text("number 39");
    }
    function my_function_nr_40() {
        $(".testing.div40").text("number 40");
    }
    function my_function_nr_41() {
        $(".testing.div41").text("number 41");
    }
    function my_function_nr_42() {
        $(".testing.div42").text("number 42");
    }
    function my_function_nr_43() {
        $(".testing.div43").text("number 43");
    }
    function my_function_nr_44() {
        $(".testing.div44").text("number 44");
    }
    function my_function_nr_45() {
        $(".testing.div45").text("number 45");
    }
    function my_function_nr_46() {
        $(".testing.div46").text("number 46");
    }
    function my_function_nr_47() {
        $(".testing.div47").text("number 47");
    }
    function my_function_nr_48() {
        $(".testing.div48").text("number 48");
    }
    function my_function_nr_49() {
        $(".testing.div49").text("number 49");
    }
    function my_function_nr_50() {
        $(".testing.div50").text("number 50");
    }
    function my_function_nr_51() {
        $(".testing.div51").text("number 51");
    }
    function my_function_nr_52() {
        $(".testing.div52").text("number 52");
    }
    function my_function_nr_53() {
        $(".testing.div53").text("number 53");
    }
    function my_function_nr_54() {
        $(".testing.div54").text("number 54");
    }
    function my_function_nr_55() {
        $(".testing.div55").text("number 55");
    }
    function my_function_nr_56() {
        $(".testing.div56").text("number 56");
    }
    function my_function_nr_57() {
        $(".testing.div57").text("number 57");
    }
    function my_function_nr_58() {
        $(".testing.div58").text("number 58");
    }
    function my_function_nr_59() {
        $(".testing.div59").text("number 59");
    }
}