let dump_host_kind hk =
  match hk with
  | Reg_name -> "Reg_name"
  | IPv4address -> "IPv4address"
  | IP_literal -> "IP_literal"