let atom_pp i =
  let a = id_to_atom i in
    Atom.pp Format.std_formatter a;
    Format.print_flush ()