source: Deliverables/D2.2/8051/tests/clight/testTB_Array_LE.c

void array_LE (int tabLE[], int tabLE2[], int i, int j) {
        tabLE[i] = 2;
        tabLE2[j+1] = 78;
}
int main(){
        int t1[5] = {0,0,0,0,0};
        int t2[5] = {0,0,0,0,0};
        array_LE(t1,t2,0,0);
        return t1[0]+t2[1];
}