integer A_x614
array<integer> Runnable_nextFree130
integer Runnable_firstFree600
integer Runnable_maxIndex147
array<integer> Runnable_typeId145


integer A_x614 = 0
integer Runnable_firstFree600 = 0
integer Runnable_maxIndex147 = 0


function initGlobals156() { 
}


function main176() { 
    initGlobals156();
    init_A912();
}


function config180() { 
}


function init_A912() { 
    twice178(alloc_Runnable_twice_A976());
    if (A_x_614 == 2) {
        testSuccess659();
    } else {
    };
}


function twice178(integer r162) { 
    dispatch_Runnable_A_Runnable_run617(r_162);
    dispatch_Runnable_A_Runnable_run617(r_162);
}


IS_NATIVE function testSuccess659() { 
}


function run_twice_A636(integer this115) { 
    A_x_614 = (A_x_614 + 1);
}


function alloc_Runnable_twice_A976() returns integer { 
    local integer this112
    if (Runnable_firstFree_600 == 0) {
        if (Runnable_maxIndex_147 < 32768) {
            Runnable_maxIndex_147 = (Runnable_maxIndex_147 + 1);
            this_112 = Runnable_maxIndex_147;
            Runnable_typeId_145[this_112] = 2;
        } else {
            error798("Out of memory: Could not create Runnable_twice_A.");
            this_112 = 0;
        };
    } else {
        Runnable_firstFree_600 = (Runnable_firstFree_600 - 1);
        this_112 = Runnable_nextFree_130[Runnable_firstFree_600];
        Runnable_typeId_145[this_112] = 2;
    };
    return this_112;
}


function error798(string msg113) { 
    $debugPrint715((msg_113 + ("
" + #getStackTrace())));
}


function dispatch_Runnable_A_Runnable_run617(integer this140) { 
    if (Runnable_typeId_145[this_140] == 0) {
        if (this_140 == 0) {
            error798("Nullpointer exception when calling Runnable.run");
        } else {
            error798("Called Runnable.run on invalid object.");
        };
    } else {
    };
    run_twice_A636(this_140);
}