integer A_x993
array<integer> Runnable_nextFree194
integer Runnable_firstFree611
integer Runnable_maxIndex173
array<integer> Runnable_typeId174


integer A_x993 = 0
integer Runnable_firstFree611 = 0
integer Runnable_maxIndex173 = 0


function initGlobals908() { 
}


function main160() { 
    initGlobals908();
    init_A429();
}


function config163() { 
}


function init_A429() { 
    twice512(alloc_Runnable_twice_A920());
    if (A_x_993 == 2) {
        testSuccess641();
    } else {
    };
}


function twice512(integer r121) { 
    dispatch_Runnable_A_Runnable_run740(r_121);
    dispatch_Runnable_A_Runnable_run740(r_121);
}


IS_NATIVE function testSuccess641() { 
}


function run_twice_A196(integer this188) { 
    A_x_993 = (A_x_993 + 1);
}


function alloc_Runnable_twice_A920() returns integer { 
    local integer this179
    if (Runnable_firstFree_611 == 0) {
        if (Runnable_maxIndex_173 < 32768) {
            Runnable_maxIndex_173 = (Runnable_maxIndex_173 + 1);
            this_179 = Runnable_maxIndex_173;
            Runnable_typeId_174[this_179] = 2;
        } else {
            error166("Out of memory: Could not create Runnable_twice_A.");
            this_179 = 0;
        };
    } else {
        Runnable_firstFree_611 = (Runnable_firstFree_611 - 1);
        this_179 = Runnable_nextFree_194[Runnable_firstFree_611];
        Runnable_typeId_174[this_179] = 2;
    };
    return this_179;
}


function error166(string msg244) { 
    $debugPrint142((msg_244 + ("
" + #getStackTrace())));
}


function dispatch_Runnable_A_Runnable_run740(integer this123) { 
    if (Runnable_typeId_174[this_123] == 0) {
        if (this_123 == 0) {
            error166("Nullpointer exception when calling Runnable.run");
        } else {
            error166("Called Runnable.run on invalid object.");
        };
    } else {
    };
    run_twice_A196(this_123);
}