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

//
public export method test():
    int[] xs = [1,2,3]
    int x = f(xs)
    assert x >= 0
---