Changed the specification to allow the implementations to have finite buffers for input and output.