integer A_x177
array<integer> Runnable_nextFree248
integer Runnable_firstFree113
integer Runnable_maxIndex196
array<integer> Runnable_typeId196


integer A_x177 = 0
integer Runnable_firstFree113 = 0
integer Runnable_maxIndex196 = 0


function initGlobals301() { 
    Runnable_firstFree_113 = 0;
    Runnable_maxIndex_196 = 0;
}


function main155() { 
    initGlobals301();
    init_A183();
}


function config167() { 
}


function init_A183() { 
    local integer clVar140
    A_x_177 = 0;
    clVar_140 = alloc_Runnable_twice_A105();
    twice817(clVar_140);
    if (A_x_177 == 2) {
        testSuccess723();
    } else {
    };
}


function twice817(integer r104) { 
    dispatch_Runnable_A_Runnable_run112(r_104);
    dispatch_Runnable_A_Runnable_run112(r_104);
}


IS_NATIVE function testSuccess723() { 
}


function run_twice_A137(integer this368) { 
    A_x_177 = (A_x_177 + 1);
}


function alloc_Runnable_twice_A105() returns integer { 
    local integer this102
    if (Runnable_firstFree_113 == 0) {
        if (Runnable_maxIndex_196 < 32768) {
            Runnable_maxIndex_196 = (Runnable_maxIndex_196 + 1);
            this_102 = Runnable_maxIndex_196;
            Runnable_typeId_196[this_102] = 2;
        } else {
            error123("Out of memory: Could not create Runnable_twice_A.");
            this_102 = 0;
        };
    } else {
        Runnable_firstFree_113 = (Runnable_firstFree_113 - 1);
        this_102 = Runnable_nextFree_248[Runnable_firstFree_113];
        Runnable_typeId_196[this_102] = 2;
    };
    return this_102;
}


function error123(string msg152) { 
    $debugPrint105((msg_152 + ("
" + #getStackTrace())));
}


function dispatch_Runnable_A_Runnable_run112(integer this106) { 
    if (Runnable_typeId_196[this_106] == 0) {
        if (this_106 == 0) {
            error123("Nullpointer exception when calling Runnable.run");
        } else {
            error123("Called Runnable.run on invalid object.");
        };
    } else {
    };
    run_twice_A137(this_106);
}