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


function f(int x) -> int:
    if x < 0:
        return 0
    else:
        return x

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

---