array<integer> Func_nextFree473
integer Func_firstFree852
integer Func_maxIndex173
array<integer> Func_typeId349
array<integer> C_nextFree197
integer C_firstFree517
integer C_maxIndex883
array<integer> C_typeId473
array<any> C_x260


integer Func_firstFree852 = 0
integer Func_maxIndex173 = 0
integer C_firstFree517 = 0
integer C_maxIndex883 = 0


function initGlobals156() { 
}


function main619() { 
    initGlobals156();
    init_A211();
}


function config120() { 
}


function init_A211() { 
    if (C_x_260[dispatch_C_A_C_map466(new_C130(5), alloc_Func_map_A894())] == 10) {
        testSuccess193();
    } else {
    };
}


IS_NATIVE function testSuccess193() { 
}


function apply_map_A175(integer this899, integer x118) returns integer { 
    return (2 * x_118);
}


function C_map105(integer this116, integer f426) returns integer { 
    return new_C130(dispatch_Func_A_Func_apply110(f_426, C_x_260[this_116]));
}


function new_C130(any x403) returns integer { 
    local integer this198
    this_198 = alloc_C628();
    construct_C198(this_198, x_403);
    return this_198;
}


function C_init271(integer this126) { 
}


function construct_C198(integer this940, any x368) { 
    C_init271(this_940);
    C_x_260[this_940] = x_368;
}


function alloc_Func_map_A894() returns integer { 
    local integer this683
    if (Func_firstFree_852 == 0) {
        if (Func_maxIndex_173 < 32768) {
            Func_maxIndex_173 = (Func_maxIndex_173 + 1);
            this_683 = Func_maxIndex_173;
            Func_typeId_349[this_683] = 3;
        } else {
            error213("Out of memory: Could not create Func_map_A.");
            this_683 = 0;
        };
    } else {
        Func_firstFree_852 = (Func_firstFree_852 - 1);
        this_683 = Func_nextFree_473[Func_firstFree_852];
        Func_typeId_349[this_683] = 3;
    };
    return this_683;
}


function error213(string msg129) { 
    $debugPrint187((msg_129 + ("
" + #getStackTrace())));
}


function alloc_C628() returns integer { 
    local integer this101
    if (C_firstFree_517 == 0) {
        if (C_maxIndex_883 < 32768) {
            C_maxIndex_883 = (C_maxIndex_883 + 1);
            this_101 = C_maxIndex_883;
            C_typeId_473[this_101] = 1;
        } else {
            error213("Out of memory: Could not create C.");
            this_101 = 0;
        };
    } else {
        C_firstFree_517 = (C_firstFree_517 - 1);
        this_101 = C_nextFree_197[C_firstFree_517];
        C_typeId_473[this_101] = 1;
    };
    return this_101;
}


function dispatch_C_A_C_map466(integer this195, integer f908) returns integer { 
    if (C_typeId_473[this_195] == 0) {
        if (this_195 == 0) {
            error213("Nullpointer exception when calling C.map");
        } else {
            error213("Called C.map on invalid object.");
        };
    } else {
    };
    return C_map105(this_195, f_908);
}


function dispatch_Func_A_Func_apply110(integer this113, any x142) returns any { 
    if (Func_typeId_349[this_113] == 0) {
        if (this_113 == 0) {
            error213("Nullpointer exception when calling Func.apply");
        } else {
            error213("Called Func.apply on invalid object.");
        };
    } else {
    };
    return apply_map_A175(this_113, x_142);
}