read a character k;
   output k;
   w = k;
   while ( read a character k )    
  /* k could be a character or a code. */
       {
         entry = dictionary entry for k;
         output entry;
         add w + entry[0] to dictionary;
         w = entry;
       }