-- Lister.model, 10-May-83 13:00:13 PDT
OPEN @BasicPilot.Model!2579461154;
Ascii: TYPE~@Ascii.bcd;
Frame: TYPE~@Frame.bcd;
KernelFile: TYPE~@KernelFile.bcd;
LongStorage: TYPE~@LongStorage.bcd;
Mopcodes: TYPE~@Mopcodes.bcd;
ProcessorFace: TYPE~@ProcessorFace.bcd;
Segments: TYPE~@Segments.bcd;
Storage: TYPE~@Storage.bcd;
Strings: TYPE~@LongStrings.mesa!2579451954[LongString];
Streams: TYPE~@Streams.bcd;
System: TYPE~@System.bcd;
Lister: PROC [ExecImpl: Exec,
	FileImpl: File,
	FileStreamImpl: FileStream,
	FrameImpl: Frame,
	HeapImpl: Heap,
	InlineImpl: Inline,
	KernelFileImpl: KernelFile,
	LongStorageImpl: LongStorage,
	LongStringImpl: LongString,
	RuntimeImpl: Runtime,
	SegmentsImpl: Segments,
	SpaceImpl: Space,
	StorageImpl: Storage,
	StreamImpl: Stream,
	StreamsImpl: Streams,
	StringImpl: String,
	StringsImpl: Strings,
	TimeImpl: Time,
	TransactionImpl: Transaction,
	TTYImpl: TTY,
	UserTerminalImpl: UserTerminal,
	DirectoryImpl: Directory,
	ProcessorFaceImpl: ProcessorFace]
RETURNS [] [
Alloc: TYPE~@Alloc.mesa!2585849506;
CBinary: TYPE~@CBinary.mesa!2465269358;
CharIO: TYPE~@CharIO.mesa!2585844909[Format, Stream, Strings];
FileSegment: TYPE~@FileSegment.mesa!2550689766[File];
FileParms: TYPE~@FileParms.mesa!2563230620[FileSegment, Strings, 
      TimeStamp];
CompilerOps: TYPE~@CompilerOps.mesa!2551033901[File, FileParms, 
      Stream, Strings, TimeStamp];
Table: TYPE~@Table.mesa!2577115106;
Symbols: TYPE~@Symbols.mesa!2591895789[PrincOps, Table, TimeStamp];
Literals: TYPE~@Literals.mesa!2591823743[Symbols, Table];
Tree: TYPE~@Tree.mesa!2591824100[Table, Literals, Symbols];
CompilerUtil: TYPE~@CompilerUtil.mesa!2588518198[Alloc, CompilerOps, 
      FileStream, Stream, Strings, Tree];
BcdDefs: TYPE~@BcdDefs.mesa!2565550795[PrincOps, Table, TimeStamp];
RCMap: TYPE~@RCMap.mesa!2542132963;
RTBcd: TYPE~@RTBcd.mesa!2562263325[BcdDefs, RCMap, Symbols];
SymbolTable: TYPE~@SymbolTable.mesa!2568557625[FileSegment, 
      SymbolPack];
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];
ListerDefs: TYPE~@ListerDefs.mesa!2554747517[Alloc, BcdDefs, 
      FileSegment, RTBcd, Space, Symbols, SymbolTable, Table];
OutputDefs: TYPE~@OutputDefs.mesa!2575575394[Format, LongString, 
      Streams, String, Time];
TreeOps: TYPE~@ProtoTreeOps.mesa!2588520733[Alloc, Literals, 
      Symbols, Tree];
CBinaryImpl: CBinary~@DebugTab.bcd;
OutputDefsImpl: OutputDefs~@Output.mesa!2575574907[Ascii, Format, 
            LongString, OutputDefs, Segments, Streams, String, 
            Time, "-b-cj-ns", SegmentsImpl, StreamsImpl, StringImpl, 
            TimeImpl];
LET [ListerRoutines: CONTROL, ListerDefsImpl1: ListerDefs] ~ @ListerRoutines.mesa!2598897346[
      Alloc, BcdDefs, BcdOps, CommanderOps, Environment, Exec, 
      File, FileSegment, Format, Heap, ListerDefs, OSMiscOps, 
      OutputDefs, Space, Strings, Symbols, SymbolSegment, SymbolTable, 
      Time, TTY, "-b-cj-ns", CommanderOpsImpl, ExecImpl, HeapImpl, 
      OSMiscOpsImpl, OutputDefsImpl, SpaceImpl, StringsImpl, 
      TimeImpl, TTYImpl];
LET [CompilerUtilImpl1: CompilerUtil, CharIOImpl: CharIO, AllocImpl: Alloc, 
TreeOpsImpl: TreeOps] ~ @FakeCompiler.mesa!2566939838[Alloc, 
      CBinary, CharIO, CompilerUtil, ListerDefs, OutputDefs, 
      Runtime, Stream, Strings, Tree, TreeOps, "-b-cj-ns", CBinaryImpl, 
      ListerDefsImpl, OutputDefsImpl, RuntimeImpl];
BcdOps: TYPE~@BcdOps.mesa!2563405009[BcdDefs];
SymbolSegment: TYPE~@SymbolSegment.mesa!2591823663[Literals, 
      Symbols, Table, TimeStamp, Tree];
LET [ComData: FRAMEPTRTYPE, ComDataImpl: ComData] ~ @ComData.mesa!2578944383[
      Alloc, BcdDefs, BcdOps, FileParms, OSMiscOps, Symbols, 
      SymbolSegment, SymbolTable, Strings, Tree, "-b-cj-ns"];
DebugTable: TYPE~@DebugTable.mesa!2550173137[Symbols, Tree];
LiteralOps: TYPE~@LiteralOps.mesa!2591889369[Alloc, Literals, 
      Strings, Symbols];
SymbolOps: TYPE~@SymbolOps.mesa!2591827562[Alloc, Strings, Symbols, 
      TimeStamp, Tree];
LiteralOpsImpl: LiteralOps~@LiteralPack.mesa!2591892424[Alloc, 
            Literals, LiteralOps, Strings, Symbols, "-b-cj-ns", 
            AllocImpl, StringsImpl];
LET [SymbolPack: FRAMEPTRTYPE, SymbolPackImpl: SymbolPack, SymbolOpsImpl: SymbolOps] ~ @SymbolPack.mesa!2591827548[
      Inline, Literals, Strings, Symbols, SymbolOps, SymbolSegment, 
      TimeStamp, Tree, "-b-cj-ns", InlineImpl, StringsImpl];
CompilerUtilImpl2: CompilerUtil~@Debug.mesa!2594743918[Alloc, 
            BcdDefs, CharIO, CompilerUtil, DebugTable, Literals, 
            LiteralOps, Strings, Stream, Symbols, SymbolOps, 
            Tree, TreeOps, "-b-cj-ns", AllocImpl, CharIOImpl, 
            CompilerUtilImpl, LiteralOpsImpl, SymbolOpsImpl, 
            TreeOpsImpl];
SymbolTableImpl: SymbolTable~@SymbolCache.mesa!2591914617[Environment, 
            File, FileSegment, Heap, Space, Symbols, SymbolPack, 
            SymbolSegment, SymbolTable, "-b-cj-ns", SymbolPackImpl, 
            FileImpl, HeapImpl, SpaceImpl];
CommanderOps: TYPE~@CommanderOps.mesa!2578854755;
CommanderOpsImpl: CommanderOps~@CommanderImpl.mesa!2578854817[
            Ascii, CommanderOps, Exec, Frame, Inline, PrincOps, 
            Runtime, Storage, String, Time, TTY, UserTerminal, 
            "-b-cj-ns", ExecImpl, FrameImpl, InlineImpl, RuntimeImpl, 
            StorageImpl, StringImpl, TimeImpl, TTYImpl, UserTerminalImpl];
GSort: TYPE~@GSort.mesa!2575575044;
GSortImpl: GSort~@GSortImpl.mesa!2531688961[Heap, GSort, Inline, 
            Segments, Streams, "-b-cj-ns", HeapImpl, InlineImpl, 
            SegmentsImpl, StreamsImpl];
TypeStrings: TYPE~@TypeStrings.mesa!2598552508[Symbols, SymbolTable];
ListBcd: CONTROL~@ListBcd.mesa!2578854985[BcdDefs, BcdOps, CommanderOps, 
            Environment, FileSegment, ListerDefs, OSMiscOps, 
            OutputDefs, RTBcd, Space, Strings, Time, "-b-cj-ns", 
            CommanderOpsImpl, ListerDefsImpl, OSMiscOpsImpl, 
            OutputDefsImpl, SpaceImpl, StringsImpl, TimeImpl];
ListerDefsImpl2: ListerDefs~@ListRTBcd.mesa!2566844592[BcdDefs, 
            Environment, Inline, ListerDefs, OutputDefs, RCMap, 
            RTBcd, TypeStrings, "-b-cj-ns", InlineImpl, ListerDefsImpl, 
            OutputDefsImpl];
OpTableDefs: TYPE~@OpTableDefs.mesa!2582580330[Environment];
LET [MopcodeNames: FRAMEPTRTYPE, MopcodeNamesImpl: MopcodeNames] ~ @MopcodeNames.bcd;
ListCode: CONTROL~@ListCode.mesa!2598897835[BcdDefs, BcdOps, 
            CommanderOps, Environment, FileSegment, FileStream, 
            Format, Heap, Inline, ListerDefs, Mopcodes, OpTableDefs, 
            OSMiscOps, OutputDefs, PrincOps, Space, Stream, 
            Strings, Symbols, SymbolSegment, SymbolTable, "-b-cj-ns", 
            CommanderOpsImpl, FileStreamImpl, HeapImpl, InlineImpl, 
            ListerDefsImpl, OpTableDefsImpl, OSMiscOpsImpl, 
            OutputDefsImpl, SpaceImpl, StreamImpl, StringsImpl, 
            SymbolTableImpl];
ListFGT: CONTROL~@ListFGT.mesa!2578855094[Ascii, BcdDefs, BcdOps, 
            CommanderOps, FileSegment, Format, Heap, ListerDefs, 
            OutputDefs, PrincOps, Space, Strings, Symbols, SymbolTable, 
            "-b-cj-ns", CommanderOpsImpl, HeapImpl, ListerDefsImpl, 
            OutputDefsImpl, SpaceImpl, StringsImpl, SymbolTableImpl];
ListImpl: CONTROL~@ListImpl.mesa!2598897384[Ascii, BcdDefs, 
            BcdOps, CommanderOps, FileStream, FileSegment, GSort, 
            ListerDefs, LongString, OSMiscOps, OutputDefs, Space, 
            Stream, Symbols, SymbolTable, "-b-cj-ns", CommanderOpsImpl, 
            FileStreamImpl, GSortImpl, ListerDefsImpl, LongStringImpl, 
            OSMiscOpsImpl, OutputDefsImpl, SpaceImpl, StreamImpl, 
            SymbolTableImpl];
ListInterface: CONTROL~@ListInterface.mesa!2578855198[Ascii, 
            CommanderOps, FileSegment, ListerDefs, OutputDefs, 
            Strings, Symbols, SymbolTable, "-b-cj-ns", CommanderOpsImpl, 
            ListerDefsImpl, OutputDefsImpl, StringsImpl, SymbolTableImpl];
PackageSymbols: TYPE~@PackageSymbols.mesa!2513695236[PrincOps, 
      Symbols, SymbolSegment, Table];
ListPackageInfo: CONTROL~@ListPackageInfo.mesa!2598897414[Ascii, 
            BcdDefs, BcdOps, CommanderOps, FileSegment, ListerDefs, 
            LongStorage, OutputDefs, PackageSymbols, PrincOps, 
            Space, Strings, Symbols, SymbolTable, "-b-cj-ns", 
            CommanderOpsImpl, ListerDefsImpl, LongStorageImpl, 
            OutputDefsImpl, SpaceImpl, StringsImpl, SymbolTableImpl];
ListSymbols: CONTROL~@ListSymbols.mesa!2578855261[BcdDefs, CommanderOps, 
            CompilerUtil, Environment, FileSegment, Heap, ListerDefs, 
            LiteralOps, OSMiscOps, OutputDefs, Strings, SymbolTable, 
            TreeOps, "-b-cj-ns", CommanderOpsImpl, CompilerUtilImpl, 
            ListerDefsImpl, HeapImpl, LiteralOpsImpl, OSMiscOpsImpl, 
            OutputDefsImpl, StringsImpl, SymbolTableImpl, TreeOpsImpl];
ListUsing: CONTROL~@ListUsing.mesa!2598897501[Ascii, CommanderOps, 
            File, FileSegment, FileStream, Heap, ListerDefs, 
            LongString, OSMiscOps, OutputDefs, Stream, Symbols, 
            SymbolTable, "-b-cj-ns", CommanderOpsImpl, FileStreamImpl, 
            HeapImpl, ListerDefsImpl, LongStringImpl, OutputDefsImpl, 
            OSMiscOpsImpl, StreamImpl, SymbolTableImpl];
ListUnbound: CONTROL~@ListUnbound.mesa!2578855353[BcdDefs, BcdOps, 
            CommanderOps, FileSegment, ListerDefs, OSMiscOps, 
            OutputDefs, Space, Strings, Symbols, SymbolTable, 
            "-b-cj-ns", CommanderOpsImpl, ListerDefsImpl, StringsImpl, 
            OSMiscOpsImpl, OutputDefsImpl, SpaceImpl, SymbolTableImpl];
ListXref: CONTROL~@ListXref.mesa!2598897608[Ascii, BcdDefs, 
            BcdOps, CommanderOps, FileSegment, FileStream, Format, 
            GSort, Heap, ListerDefs, LongString, Mopcodes, OpTableDefs, 
            OSMiscOps, OutputDefs, PrincOps, Space, Stream, 
            Symbols, SymbolTable, "-b-cj-ns", CommanderOpsImpl, 
            FileStreamImpl, GSortImpl, HeapImpl, ListerDefsImpl, 
            LongStringImpl, OpTableDefsImpl, OSMiscOpsImpl, 
            OutputDefsImpl, SpaceImpl, StreamImpl, SymbolTableImpl];
OpTableDefsImpl1: OpTableDefs~@OpNames.mesa!2539382116[Environment, 
            MopcodeNames, OpTableDefs, Runtime, Strings, "-b-cj-ns", 
            MopcodeNamesImpl, RuntimeImpl, StringsImpl];
OpTableDefsImpl2: OpTableDefs~@OpTable.mesa!2598476783[OpTableDefs, 
            "-b-cj-ns"];
ListerDefsImpl: ListerDefs~(ListerDefsImpl1) PLUS (ListerDefsImpl2);
CompilerUtilImpl: CompilerUtil~(CompilerUtilImpl1) PLUS (CompilerUtilImpl2);
OpTableDefsImpl: OpTableDefs~(OpTableDefsImpl1) PLUS (OpTableDefsImpl2)
]