// SKIP PARAM: --enable ana.int.interval --set ana.base.arrays.domain partitioned --set ana.activated[+] apron
// FIXPOINT: These examples were cases were we saw issues of not reaching a fixpoint during development of the octagon domain. Since those issues might
// resurface, these tests without asserts are included
int main(int argc, char const *argv[])
{
    int iter = 0;
    int i = 0;
    int j;
    int t;
    int nGroups;
    int inUse16[16];
    int top;

    if (top) {
        nGroups = 2;
    } else {
        nGroups = 6;
    }

    while (iter < 4)
    {
        t = 0;
        while (t < nGroups)
        {
            t++;
        }

        iter++;
    }

    i = 0;
    while (i < 16)
    { //TO-DO: here
        inUse16[i] = 0;

        j = 0;
        while (j < 16)
        {
            j++;
        }

        i++;
    }

    /* code */
    return 0;
}
