{ read8(I32) -> (I32); write8(I32,I32) -> (); size() -> (I32) }