original.name="Import_Valid_2"
======
>>> main.whiley


function f(int[] x) -> int
requires |x| > 0:
    return x[0]

public export method test() :
    assume f("1") == '1'

---