procedure main()
   repeat {			# exit repeat if eof
      if not (headline := read()) then break
      count := 1
      while line := read() do {	# exit while if "end"
         count := count + 1
         if match("end",line) then break
         }
      write(headline," : ",count)
      }
end