Is it possible to remove the logic that assumes the buffer is first in writable mode and then in readable mode? When we move to the buffer-oriented execution, all the buffer ever sees is a memory segment that carries. The contents of the memory segment if never changed while the buffer carries it.