civicaml/test/arrays/combined_extern_arrayref_arg/main.cvc

extern void printInt(int val);
extern void printSpaces(int num);
extern void printNewlines(int num);

extern int[n, m] foo;
int[2, 2] bar = [[7, 8], [9, 10]];

void printArray(int[n, m] a) {
    printInt(n);
    printSpaces(1);
    printInt(m);
    printNewlines(1);
    for (int i = 0, n) {
        for (int j = 0, m) {
            printInt(a[i, j]);
            if (j != m - 1) printSpaces(1);
        }
        if (i != n - 1) printSpaces(2);
    }
}

export int main() {
    printArray(foo);
    printNewlines(1);
    printArray(bar);
    return 0;
}