/* Codifica el stream. */  
void encode_stream(int argc, char *argv[]) {  
  init_model();  
  init_encoder();  
  for(;;) {  
    symbol = getchar();  
    //fprintf(stderr,"%d ",symbol);  
    if(symbol==EOF) break;  
    index = find_index(symbol);  
    encode_index(index, cum_prob);  
    update_model();  
  }  
  encode_index(find_index(EOS), cum_prob);  
  finish_encoder();  
  finish_model();  
}