let default_explorer_defaults : explorer_defaults = explorer ()