<<>> <> <> <> <> DIRECTORY UXStrings; <> LibSearch: CEDAR DEFINITIONS = BEGIN UnixString: TYPE ~ UXStrings.CString; FD: TYPE ~ INTEGER; Bool: TYPE ~ INTEGER; False: Bool ~ 0; True: Bool ~ 1; Init: PROC ~ TRUSTED MACHINE CODE {".XR_lib_init"}; <> Crock1: PROC ~ TRUSTED MACHINE CODE {"."}; <> SymFind: PROC [ sym: UnixString, libfd: POINTER TO FD, liboffset: POINTER TO INT, magic: POINTER TO INT, modulename: POINTER TO UnixString] RETURNS [Bool] <()".>> ~ TRUSTED MACHINE CODE {".XR_lib_symfind"}; END.