array<integer> D_nextFree306
integer D_firstFree827
integer D_maxIndex179
array<integer> D_typeId825
array<integer> D_B_A_x162
array<integer> D_C_A_x202


integer D_firstFree827 = 0
integer D_maxIndex179 = 0


function initGlobals196() { 
}


function main174() { 
    initGlobals196();
    init_test112();
}


function config732() { 
}


function init_test112() { 
    local integer d211
    local integer this130
    local integer x427
    d_211 = new_D148();
    this_130 = d_211;
    x_427 = 5;
    if (D_typeId_825[this_130] == 0) {
        if (this_130 == 0) {
            error554("Nullpointer exception when calling D.setX");
        } else {
            error554("Called D.setX on invalid object.");
        };
    } else {
    };
    D_setX195(this_130, x_427);
    if (dispatch_D_test_D_getX206(d_211) != 5) {
        testFail119(("foo fail" + I2S157(dispatch_D_test_D_getX206(d_211))));
    } else {
    };
    testSuccess139();
}


IS_NATIVE IS_EXTERN @extern function I2S157(integer x444) returns string { 
}


IS_NATIVE function println834(string s198) { 
}


IS_NATIVE function testFail119(string msg855) { 
}


IS_NATIVE function testSuccess139() { 
}


function D_setX195(integer this895, integer x199) { 
    local integer this179
    local integer x261
    local integer this567
    local integer x670
    local integer this200
    local integer temp108
    this_179 = this_895;
    x_261 = (x_199 div 2);
    println834(("set x " + I2S157(x_261)));
    D_B_A_x_162[this_179] = x_261;
    this_567 = this_895;
    temp_108 = x_199;
    this_200 = this_895;
    println834(("get x " + I2S157(D_B_A_x_162[this_200])));
    x_670 = (temp_108 - D_B_A_x_162[this_200]);
    println834(("set x " + I2S157(x_670)));
    D_C_A_x_202[this_567] = x_670;
}


function new_D148() returns integer { 
    local integer this153
    local integer this743
    local integer this106
    if (D_firstFree_827 == 0) {
        if (D_maxIndex_179 < 32768) {
            D_maxIndex_179 = (D_maxIndex_179 + 1);
            this_743 = D_maxIndex_179;
            D_typeId_825[this_743] = 1;
        } else {
            error554("Out of memory: Could not create D.");
            this_743 = 0;
        };
    } else {
        D_firstFree_827 = (D_firstFree_827 - 1);
        this_743 = D_nextFree_306[D_firstFree_827];
        D_typeId_825[this_743] = 1;
    };
    this_153 = this_743;
    this_106 = this_153;
    return this_153;
}


function error554(string msg148) { 
    $debugPrint904((msg_148 + ("
" + #getStackTrace())));
}


function dispatch_D_test_D_getX206(integer this140) returns integer { 
    local integer test_D_getX_result881
    local integer this207
    local integer this156
    local integer this188
    local integer temp131
    if (D_typeId_825[this_140] == 0) {
        if (this_140 == 0) {
            error554("Nullpointer exception when calling D.getX");
        } else {
            error554("Called D.getX on invalid object.");
        };
    } else {
    };
    this_207 = this_140;
    this_156 = this_207;
    println834(("get x " + I2S157(D_B_A_x_162[this_156])));
    temp_131 = D_B_A_x_162[this_156];
    this_188 = this_207;
    println834(("get x " + I2S157(D_C_A_x_202[this_188])));
    test_D_getX_result_881 = (temp_131 + D_C_A_x_202[this_188]);
    return test_D_getX_result_881;
}