\begin{verbatim}
  private function TagStream (
    line: integer;
    strm: stream of LineEvent;
    returns stream of TaggedLine Event )
    
    stream [ record [
        tag: line;
        event: stream_first (strm) ] ||
      TagStream (line, stream_rest (strm)
  end function TagStream
\end{verbatim}
