original.name="Function_Valid_3"
js.compile.ignore=true
======
>>> main.whiley


type fr3nat is int

function f(int x) -> int:
    return x

public export method test() :
    int y = 234987234987234982304980130982398723
    assume f(y) == y

---