original.name="ConstrainedList_Valid_1"
======
>>> main.whiley
type u8 is (int n) where 0 <= n && n <= 0xff

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

public export method test() :
    u8[] bytes = f(0)
    assume bytes == [0]

---