<<>> <> <> <> <> DIRECTORY CStrings; InterpGlue: CEDAR DEFINITIONS ~ { Handle: TYPE ~ REF; <> PutProc: TYPE ~ PROC [msg: CStrings.CString]; <> MakeInterpHandle: PROC RETURNS [Handle] ~ TRUSTED MACHINE CODE { "XR_MakeInterpHandle" }; <> Interp: PROC [h: Handle, dummy: CARD32, proc: PutProc, callTimeoutMsec: CARD32, cmd: CStrings.CString] RETURNS [INT] ~ TRUSTED MACHINE CODE { "XR_Interp" }; <> <> }.