let id_to_atom i =
  try
    Inttbl.find inttbl i
  with
      Not_found -> failwith "Fatal error: no atom for ICSAT identifier"