MODULE linecount; (*DEE 2020-05-02*)
  FROM SIOResult IMPORT ReadResult, ReadResults;
  FROM STextIO IMPORT ReadChar, SkipLine, WriteLn;
  FROM SWholeIO IMPORT WriteInt;
  VAR ch: CHAR; nl: CARDINAL;
BEGIN ReadChar(ch);
  WHILE ReadResult() # endOfInput DO
    WHILE ReadResult() # endOfLine DO ReadChar(ch) END;
    SkipLine; INC(nl); ReadChar(ch)
  END;
  WriteInt(nl, 1); WriteLn
END linecount.