<> <> <> <> <<>> DIRECTORY Basics USING [BITAND], NS USING [Host], ProcessorFace USING [ProcessorID, processorID]; NSImpl: CEDAR PROGRAM IMPORTS Basics, ProcessorFace EXPORTS NS ~ { <> GetThisHost: PUBLIC PROC RETURNS [NS.Host] ~ { <> TRUSTED { RETURN[LOOPHOLE[ProcessorFace.processorID]]; }; }; IsMulticastHost: PUBLIC PROC[host: NS.Host] RETURNS[BOOL] ~ { RETURN [ Basics.BITAND[host.a, 1] # 0 ] }; }.