array C_xs134 integer C_firstFree153 = 0 integer C_maxIndex639 = 0 function initGlobals843() { } function main285() { initGlobals843(); init_test648(); } function config952() { } function C_setX153(integer i101, integer x308) { C_xs_134[i_101] = x_308; } function C_getX207(integer i186) returns integer { return C_xs_134[i_186]; } function init_test648() { C_setX153(7, 4); if (C_getX207(7) == 4) { testSuccess139(); } else { }; } IS_NATIVE function testSuccess139() { }