#include "context.h"
#interface "Timer.h"
#include <stdio.h>

__code printArray(struct Array* array, struct Timer* inputTimer, __code next(...)){
    goto inputTimer->end(printArray1);
}

__code printArray1(struct Array* array, __code next(...), struct LoopCounter* loopCounter){
    int i = loopCounter->i;
    //printf("%d\n", array->array[i]);
    if (i < GET_LEN(array->array)) {
        if (array->array[i].value == i*2) {
            loopCounter->i++;
            goto printArray1();
        } else {
            printf("wrong result\n");
        }
    }
   loopCounter->i = 0;
    goto next(...);
}