1 2 3 4 5 6 7 8
original.name="Array_Invalid_6" ====== >>> main.whiley function f(int[] a) -> int: return a --- E400 main.whiley 2,11