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