base.Bytes

read .size: imm base.Nat -> …,
mut .list: imm base.List[imm base.Byte] -> …,
mut .read(i: imm base.Nat): imm base.Byte -> …,
read .isEmpty: imm base.Bool -> …,
read .size: imm base.Nat -> …,
mut .list: imm base.List[imm base.Byte] -> …,
mut .read(i: imm base.Nat): imm base.Byte -> …,
read .isEmpty: imm base.Bool -> …,