original.name="Byte_Invalid_6"
======
>>> main.whiley
function f(byte x, byte y, byte z) -> (byte r):
    return x | y ^ z

---
E321 main.whiley 2,17