export int[2, 3] foo = [[1, 2, 3], [4, 5, 6]];