This is cheating :P. Instead these need to be moved into `read()`'s "If `[[buffer]]` is now empty" step.