let fail level name exc =
  indent := !indent - 1;
  whitespace level !indent;
  (if is_active level then
     Format.eprintf "Exit %s: %s@." name (Printexc.to_string exc));
  raise exc