original.name="Array_Valid_7"
======
>>> main.whiley
function f(int[] xs) -> (int r)
ensures r == 0:
    //
    return 0

public export method test():
    //
    int[] xs = [0]
    xs[f([0])] = 1
    assert xs == [1]


---