<<>> <> <> <> <> <> <<>> <<>> DIRECTORY Basics32, ProcessorFace, XNS; XNSImpl: CEDAR PROGRAM IMPORTS Basics32, ProcessorFace EXPORTS XNS = { <> GetThisHost: PUBLIC PROC RETURNS [XNS.Host] ~ { <> TRUSTED { RETURN[LOOPHOLE[ProcessorFace.processorID]]; }; }; IsMulticastHost: PUBLIC PROC [host: XNS.Host] RETURNS [BOOL] ~ { RETURN [Basics32.BITAND[host.a, 1] # 0 ]; }; }...