<<>> <> <> <> <> TRawHash: CEDAR DEFINITIONS ~ BEGIN RawHash: UNSAFE PROC [pointer: LONG POINTER, units: NAT] RETURNS [CARDINAL]; <> END.