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