-- CrossBL.model, 12-May-83  8:36:12 PDT
OPEN @TrinityPilot.model!2586712235;
KernelFile: TYPE~@[Indigo]<APilot>Pilot>Private>KernelFile.bcd;
ProcessorFace: TYPE~@[Indigo]<APilot>Faces>Friends>ProcessorFace.bcd;
Strings: TYPE~@LongStrings.Mesa!2579451954[LongString];
System: TYPE~@[Indigo]<APilot>Pilot>Public>System.bcd;
CrossBL: PROC [DirectoryImpl: Directory,
	ExecImpl: Exec,
	ExecOpsImpl: ExecOps,
	FileImpl: File,
	FileStreamImpl: FileStream,
	HeapImpl: Heap,
	InlineImpl: Inline,
	KernelFileImpl: KernelFile,
	LongStringImpl: LongString,
	ProcessorFaceImpl: ProcessorFace,
	RuntimeImpl: Runtime,
	SpaceImpl: Space,
	StreamImpl: Stream,
	StringsImpl: Strings,
	TimeImpl: Time,
	TransactionImpl: Transaction,
	TTYImpl: TTY]
RETURNS [] [
CharIO: TYPE~@CharIO.mesa!2585844909[Format, Stream, Strings];
CommandUtil: TYPE~@CommandUtil.mesa!2585845958[ExecOps, Stream, 
      Strings];
Table: TYPE~@Table.mesa!2577115106;
Alloc: TYPE~@Alloc.mesa!2585849506;
BcdDefs: TYPE~@tempBcdDefs.mesa!2582065272[PrincOps, Table, 
      TimeStamp];
BcdOps: TYPE~@BcdOps.mesa!2563405009[BcdDefs];
FileSegment: TYPE~@FileSegment.mesa!2550689766[File];
Symbols: TYPE~@Symbols.mesa!2591895789[PrincOps, Table, TimeStamp];
Literals: TYPE~@Literals.mesa!2591823743[Symbols, Table];
Tree: TYPE~@Tree.mesa!2591824100[Table, Literals, Symbols];
RTBcd: TYPE~@RTBcd.mesa!2562263325[BcdDefs, RCMap, Symbols];
SymbolSegment: TYPE~@SymbolSegment.mesa!2591823663[Literals, 
      Symbols, Table, TimeStamp, Tree];
SymbolOps: TYPE~@SymbolOps.mesa!2591827562[Alloc, Strings, Symbols, 
      TimeStamp, Tree];
SymbolPack: TYPE~@SymbolPack.mesa!2591827548[Inline, Literals, 
      Strings, Symbols, SymbolOps, SymbolSegment, TimeStamp, 
      Tree, "-b-cj-ns"];
SymbolTable: TYPE~@SymbolTable.mesa!2568557625[FileSegment, 
      SymbolPack];
RCMap: TYPE~@RCMap.mesa!2542132963;
TypeStrings: TYPE~@TypeStrings.mesa!2598552508[Symbols, SymbolTable];
OSMiscOps: TYPE~@OSMiscOps.mesa!2585846758[Environment, File, 
      Strings, TimeStamp];
OSMiscOpsImpl: OSMiscOps~@OSMiscOpsImpl.mesa!2585847230[DCSFileTypes, 
            Directory, File, Inline, KernelFile, OSMiscOps, 
            ProcessorFace, Runtime, Space, Time, TimeStamp, 
            "-b-cj-ns", DirectoryImpl, InlineImpl, KernelFileImpl, 
            ProcessorFaceImpl, RuntimeImpl, SpaceImpl, TimeImpl];
CharIOImpl: CharIO~@CharIOImpl.mesa!2585845746[CharIO, Stream, 
            Strings, "-b-cj-ns", StringsImpl, StreamImpl];
CommandUtilImpl: CommandUtil~@CommandPack.mesa!2585846832[CommandUtil, 
            Heap, Stream, Strings, "-b-cj-ns", HeapImpl, StreamImpl, 
            StringsImpl];
ListerUtil: TYPE~@ListerUtil.mesa!2599055087[BcdDefs, BcdOps, 
      FileSegment, Space, Stream, Strings, Symbols, SymbolTable];
LET [AllocImpl: Alloc, ListerUtilImpl1: ListerUtil] ~ @tempListerUtilities.mesa!2599055116[
      Alloc, BcdDefs, BcdOps, CharIO, Environment, Exec, File, 
      FileSegment, FileStream, Format, Heap, ListerUtil, OSMiscOps, 
      Space, Stream, Strings, Symbols, SymbolSegment, SymbolTable, 
      Time, TTY, "-b-cj-ns", CharIOImpl, ExecImpl, FileStreamImpl, 
      HeapImpl, OSMiscOpsImpl, SpaceImpl, StreamImpl, StringsImpl, 
      TimeImpl, TTYImpl];
ListerUtilImpl2: ListerUtil~@RTList.mesa!2581887642[BcdDefs, 
            BcdOps, CharIO, Environment, Heap, Inline, ListerUtil, 
            RCMap, RTBcd, Stream, Strings, TypeStrings, "-b-cj-ns", 
            CharIOImpl, HeapImpl, InlineImpl, ListerUtilImpl];
ListerUtilImpl: ListerUtil~(ListerUtilImpl1) PLUS (ListerUtilImpl2);
ListerOps: TYPE~@ListerOps.mesa!2581441556[Strings];
ListerOpsImpl: ListerOps~@tempBLList.mesa!2581457501[BcdDefs, 
            BcdOps, CharIO, FileSegment, ListerOps, ListerUtil, 
            OSMiscOps, Space, Stream, Strings, "-b-cj-ns", CharIOImpl, 
            ListerUtilImpl, OSMiscOpsImpl, SpaceImpl, StreamImpl];
BLControl: CONTROL~@CrossBLControl.mesa!2588715999[CharIO, CommandUtil, 
            Exec, ExecOps, ListerOps, OSMiscOps, Runtime, Stream, 
            Strings, Time, TTY, "-b-cj-ns", CharIOImpl, CommandUtilImpl, 
            ExecImpl, ExecOpsImpl, ListerOpsImpl, OSMiscOpsImpl, 
            RuntimeImpl, StreamImpl, StringsImpl, TimeImpl, 
            TTYImpl]
]