export int[3] foo = [1, 2, 3];