let
get_host t = t.host