array<integer> C_nextFree198
integer C_firstFree191
integer C_maxIndex117
array<real> C_v_x_0697
array<real> C_v_x_1120
array<real> C_v_x_2139
array<real> C_v_x_3603
array<real> C_v_x_4166
array<real> C_v_y_0703
array<real> C_v_y_1200
array<real> C_v_y_2915
array<real> C_v_y_3163
array<real> C_v_y_4661
array<real> C_v_z_0167
array<real> C_v_z_1114
array<real> C_v_z_2406
array<real> C_v_z_3182
array<real> C_v_z_4370


integer C_firstFree191 = 0
integer C_maxIndex117 = 0


function initGlobals416() { 
    C_firstFree_191 = 0;
    C_maxIndex_117 = 0;
}


function main176() { 
    initGlobals416();
    init_test519();
}


function config192() { 
}


function init_test519() { 
    local integer c883
    local real tuple_temp156
    local real tuple_temp933
    local real tuple_temp158
    c_883 = new_C239();
    tuple_temp_156 = 1.;
    tuple_temp_933 = 2.;
    tuple_temp_158 = 3.;
    C_v_x_set168(c_883, 0, tuple_temp_156);
    C_v_y_set107(c_883, 0, tuple_temp_933);
    C_v_z_set211(c_883, 0, tuple_temp_158);
    C_v_x_set168(c_883, 1, 5.);
    C_v_y_set107(c_883, 1, 6.);
    C_v_z_set211(c_883, 1, 7.);
    println300(R2S133(C_v_x_get130(c_883, 0)));
    println300(R2S133(C_v_z_get153(c_883, 0)));
    println300(R2S133(C_v_y_get769(c_883, 1)));
    if (((C_v_x_get130(c_883, 0) == 1.) and (C_v_z_get153(c_883, 0) == 3.)) and (C_v_y_get769(c_883, 1) == 6.)) {
        testSuccess102();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function R2S133(real r142) returns string { 
}


IS_NATIVE function println300(string s647) { 
}


IS_NATIVE function testSuccess102() { 
}


function C_init439(integer this156) { 
}


function new_C239() returns integer { 
    local integer this835
    this_835 = alloc_C430();
    construct_C652(this_835);
    return this_835;
}


function construct_C652(integer this140) { 
    C_init439(this_140);
}


function alloc_C430() returns integer { 
    local integer this137
    if (C_firstFree_191 == 0) {
        if (C_maxIndex_117 < 32768) {
            C_maxIndex_117 = (C_maxIndex_117 + 1);
            this_137 = C_maxIndex_117;
        } else {
            error652("Out of memory: Could not create C.");
            this_137 = 0;
        };
    } else {
        C_firstFree_191 = (C_firstFree_191 - 1);
        this_137 = C_nextFree_198[C_firstFree_191];
    };
    return this_137;
}


function error652(string msg190) { 
    $debugPrint117((msg_190 + ("
" + #getStackTrace())));
}


function C_v_x_set168(integer instanceId439, integer arrayIndex138, real value164) { 
    if ((arrayIndex_138 < 0) or (arrayIndex_138 >= 5)) {
        error652("Index out of Bounds");
    } else {
        if (arrayIndex_138 <= 2) {
            if (arrayIndex_138 <= 1) {
                if (arrayIndex_138 <= 0) {
                    C_v_x_0_697[instanceId_439] = value_164;
                } else {
                    C_v_x_1_120[instanceId_439] = value_164;
                };
            } else {
                C_v_x_2_139[instanceId_439] = value_164;
            };
        } else {
            if (arrayIndex_138 <= 3) {
                C_v_x_3_603[instanceId_439] = value_164;
            } else {
                C_v_x_4_166[instanceId_439] = value_164;
            };
        };
    };
}


function C_v_x_get130(integer index1195, integer index2178) returns real { 
    local real returnVal352
    if ((index2_178 < 0) or (index2_178 >= 5)) {
        error652("Index out of Bounds");
    } else {
        if (index2_178 <= 2) {
            if (index2_178 <= 1) {
                if (index2_178 <= 0) {
                    returnVal_352 = C_v_x_0_697[index1_195];
                } else {
                    returnVal_352 = C_v_x_1_120[index1_195];
                };
            } else {
                returnVal_352 = C_v_x_2_139[index1_195];
            };
        } else {
            if (index2_178 <= 3) {
                returnVal_352 = C_v_x_3_603[index1_195];
            } else {
                returnVal_352 = C_v_x_4_166[index1_195];
            };
        };
    };
    return returnVal_352;
}


function C_v_y_set107(integer instanceId682, integer arrayIndex295, real value137) { 
    if ((arrayIndex_295 < 0) or (arrayIndex_295 >= 5)) {
        error652("Index out of Bounds");
    } else {
        if (arrayIndex_295 <= 2) {
            if (arrayIndex_295 <= 1) {
                if (arrayIndex_295 <= 0) {
                    C_v_y_0_703[instanceId_682] = value_137;
                } else {
                    C_v_y_1_200[instanceId_682] = value_137;
                };
            } else {
                C_v_y_2_915[instanceId_682] = value_137;
            };
        } else {
            if (arrayIndex_295 <= 3) {
                C_v_y_3_163[instanceId_682] = value_137;
            } else {
                C_v_y_4_661[instanceId_682] = value_137;
            };
        };
    };
}


function C_v_y_get769(integer index1575, integer index2335) returns real { 
    local real returnVal425
    if ((index2_335 < 0) or (index2_335 >= 5)) {
        error652("Index out of Bounds");
    } else {
        if (index2_335 <= 2) {
            if (index2_335 <= 1) {
                if (index2_335 <= 0) {
                    returnVal_425 = C_v_y_0_703[index1_575];
                } else {
                    returnVal_425 = C_v_y_1_200[index1_575];
                };
            } else {
                returnVal_425 = C_v_y_2_915[index1_575];
            };
        } else {
            if (index2_335 <= 3) {
                returnVal_425 = C_v_y_3_163[index1_575];
            } else {
                returnVal_425 = C_v_y_4_661[index1_575];
            };
        };
    };
    return returnVal_425;
}


function C_v_z_set211(integer instanceId204, integer arrayIndex196, real value270) { 
    if ((arrayIndex_196 < 0) or (arrayIndex_196 >= 5)) {
        error652("Index out of Bounds");
    } else {
        if (arrayIndex_196 <= 2) {
            if (arrayIndex_196 <= 1) {
                if (arrayIndex_196 <= 0) {
                    C_v_z_0_167[instanceId_204] = value_270;
                } else {
                    C_v_z_1_114[instanceId_204] = value_270;
                };
            } else {
                C_v_z_2_406[instanceId_204] = value_270;
            };
        } else {
            if (arrayIndex_196 <= 3) {
                C_v_z_3_182[instanceId_204] = value_270;
            } else {
                C_v_z_4_370[instanceId_204] = value_270;
            };
        };
    };
}


function C_v_z_get153(integer index1109, integer index2112) returns real { 
    local real returnVal179
    if ((index2_112 < 0) or (index2_112 >= 5)) {
        error652("Index out of Bounds");
    } else {
        if (index2_112 <= 2) {
            if (index2_112 <= 1) {
                if (index2_112 <= 0) {
                    returnVal_179 = C_v_z_0_167[index1_109];
                } else {
                    returnVal_179 = C_v_z_1_114[index1_109];
                };
            } else {
                returnVal_179 = C_v_z_2_406[index1_109];
            };
        } else {
            if (index2_112 <= 3) {
                returnVal_179 = C_v_z_3_182[index1_109];
            } else {
                returnVal_179 = C_v_z_4_370[index1_109];
            };
        };
    };
    return returnVal_179;
}