<> <> <> <<>> <> DIRECTORY XNS USING [Address]; XNSReachable: CEDAR DEFINITIONS ~ BEGIN EnsureHostReachable: PROC [hisAddress: XNS.Address] RETURNS [reachable: BOOL]; END.