def redirect.origin
import bend-kit-http@0.38.2.0/http.bend as Httpimport Base
import bend-kit-url@0.4.1.0/url.bend as Url
1762def redirect.origin(a: Url.Abs) -> String:
1763 Url.Abs{scheme, host, port, target} = a
1764 scheme ++ "://" ++ host ++ ":" ++ U32.show(port)