/* Incrementa la probabilidad del símbolo asociado a "index". */  
void increment_prob_of_index() {  
  prob[index]++;  
  while(index>0) {  
    cum_prob[--index]++;  
  }  
}