/* Descodifica el stream. */  
void decode_stream(int argc, char *argv[]) {  
  init_model();  
  init_decoder();  
  for(;;) {  
    index = decode_index(cum_prob);  
    symbol = find_symbol(index);  
    if(symbol==EOS) break;  
    //fprintf(stderr,"%d ",symbol);  
    putchar(symbol);  
    update_model();  
  }  
  finish_decoder();  
  finish_model();  
}