civicaml/manual_test/constant_propagation.cvc

extern void printInt(int val);

int foo() {
    return 3;
}

export int main() {
    int[2, foo()] a = [1, 2];
    int i = 1;

    printInt(a[0, 2]);  // a[2]
    printInt(a[1, 1]);  // a[a$dim$$X + 1]
    printInt(i);        // 1

    return 0;
}