<<>> <> <> <> <<>> DIRECTORY Checksum, TRawHash; PTRawHashImpl: CEDAR PROGRAM IMPORTS Checksum EXPORTS TRawHash ~ BEGIN RawHash: PUBLIC UNSAFE PROC [pointer: LONG POINTER, units: NAT] RETURNS [CARDINAL] ~ UNCHECKED { <> RETURN [Checksum.ComputeChecksum[0, units/UNITS[CARD16], pointer]]; }; END.