let dump_hv hv =
  dump (arrayref (av_of_sv_list [hashref hv]))