(* -*-mode:caml -*- *)
#install_printer Lm_symbol.dump_symbol;;
