<<>> <> <> <> UXProcs: CEDAR DEFINITIONS ~ BEGIN <> <<>> CProc: TYPE = WORD; UnsafeCedarProc: TYPE[SIZE[PROC]]; <> FromCedarProc: PROC [proc: PROC ANY RETURNS ANY] RETURNS [CProc]; <> <> <> ToCedarProc: PROC [CProc] RETURNS [UnsafeCedarProc]; <> <> <> END.