import church.lang.Array; main(String[]: args) = { a1 = [1, 2]; a2 = [3, 4]; aa1 = [a1, a2]; aa2 = [[1, 2], [3, 4]]; output << aa1 << "\n"; assert aa1 == aa2; }