The spec contains, in several places, the following instruction:

"Let byte be byte pointer."

This mixes up bytes and byte pointers. A byte pointer is informally defined as "The byte pointer is initially zero, pointing to the first byte in the stream. It cannot be negative. It can be increased and decreased to point to other bytes in the stream."

So in a stream of 10000 bytes, byte pointer could be 6789, but trying to assign that to byte would obviously not work.

This should be fixed (in all instances) to:

"Let byte be the value at byte pointer." (or something similar)

The spec should also be carefully checked for other errors of similar nature.