The counter is at 0, which indicates an error ... that plus the counter being non-zero when reaching the end of input is the entire point.