I'd distinguish this EOF message from the length one above.