integer A_x142
array<integer> Runnable_nextFree101
integer Runnable_firstFree130
integer Runnable_maxIndex293
array<integer> Runnable_typeId401


integer A_x142 = 0
integer Runnable_firstFree130 = 0
integer Runnable_maxIndex293 = 0


function initGlobals865() { 
    Runnable_firstFree_130 = 0;
    Runnable_maxIndex_293 = 0;
}


function main140() { 
    initGlobals865();
    init_A452();
}


function config968() { 
}


function init_A452() { 
    local integer clVar115
    A_x_142 = 0;
    clVar_115 = alloc_Runnable_twice_A438();
    twice199(clVar_115);
    if (A_x_142 == 2) {
        testSuccess110();
    } else {
    };
}


function twice199(integer r104) { 
    dispatch_Runnable_A_Runnable_run472(r_104);
    dispatch_Runnable_A_Runnable_run472(r_104);
}


IS_NATIVE function testSuccess110() { 
}


function run_twice_A158(integer this163) { 
    A_x_142 = (A_x_142 + 1);
}


function alloc_Runnable_twice_A438() returns integer { 
    local integer this259
    if (Runnable_firstFree_130 == 0) {
        if (Runnable_maxIndex_293 < 32768) {
            Runnable_maxIndex_293 = (Runnable_maxIndex_293 + 1);
            this_259 = Runnable_maxIndex_293;
            Runnable_typeId_401[this_259] = 2;
        } else {
            error997("Out of memory: Could not create Runnable_twice_A.");
            this_259 = 0;
        };
    } else {
        Runnable_firstFree_130 = (Runnable_firstFree_130 - 1);
        this_259 = Runnable_nextFree_101[Runnable_firstFree_130];
        Runnable_typeId_401[this_259] = 2;
    };
    return this_259;
}


function error997(string msg392) { 
    $debugPrint133((msg_392 + ("
" + #getStackTrace())));
}


function dispatch_Runnable_A_Runnable_run472(integer this149) { 
    if (Runnable_typeId_401[this_149] == 0) {
        if (this_149 == 0) {
            error997("Nullpointer exception when calling Runnable.run");
        } else {
            error997("Called Runnable.run on invalid object.");
        };
    } else {
    };
    run_twice_A158(this_149);
}