let var_type var_number = 
  var_number mod nb_AtmTypes