integer A_x151
array<integer> Runnable_nextFree209
integer Runnable_firstFree849
integer Runnable_maxIndex850
array<integer> Runnable_typeId214


integer A_x151 = 0
integer Runnable_firstFree849 = 0
integer Runnable_maxIndex850 = 0


function initGlobals962() { 
    Runnable_firstFree_849 = 0;
    Runnable_maxIndex_850 = 0;
}


function main100() { 
    initGlobals962();
    init_A149();
}


function config186() { 
}


function init_A149() { 
    local integer clVar556
    A_x_151 = 0;
    clVar_556 = alloc_Runnable_twice_A205();
    twice192(clVar_556);
    if (A_x_151 == 2) {
        testSuccess769();
    } else {
    };
}


function twice192(integer r998) { 
    dispatch_Runnable_A_Runnable_run137(r_998);
    dispatch_Runnable_A_Runnable_run137(r_998);
}


IS_NATIVE function testSuccess769() { 
}


function run_twice_A483(integer this745) { 
    A_x_151 = (A_x_151 + 1);
}


function alloc_Runnable_twice_A205() returns integer { 
    local integer this756
    if (Runnable_firstFree_849 == 0) {
        if (Runnable_maxIndex_850 < 32768) {
            Runnable_maxIndex_850 = (Runnable_maxIndex_850 + 1);
            this_756 = Runnable_maxIndex_850;
            Runnable_typeId_214[this_756] = 2;
        } else {
            error196("Out of memory: Could not create Runnable_twice_A.");
            this_756 = 0;
        };
    } else {
        Runnable_firstFree_849 = (Runnable_firstFree_849 - 1);
        this_756 = Runnable_nextFree_209[Runnable_firstFree_849];
        Runnable_typeId_214[this_756] = 2;
    };
    return this_756;
}


function error196(string msg117) { 
    $debugPrint437((msg_117 + ("
" + #getStackTrace())));
}


function dispatch_Runnable_A_Runnable_run137(integer this680) { 
    if (Runnable_typeId_214[this_680] == 0) {
        if (this_680 == 0) {
            error196("Nullpointer exception when calling Runnable.run");
        } else {
            error196("Called Runnable.run on invalid object.");
        };
    } else {
    };
    run_twice_A483(this_680);
}