original.name="ConstrainedList_Valid_4"
======
>>> main.whiley
type i8 is (int n) where -128 <= n && n <= 127
function g(int x) -> (int r)
ensures (r > 0) && (r < 125):
return 1
function f(int x) -> i8[]:
return [(i8) g(x)]
public export method test() :
int[] bytes = f(0)
assume bytes == [1]
---