-- TestSL.model, July 19, 1983 5:35 pm
LET @OSBasics.model!2606162530 IN LET [KernelFile: TYPE~@KernelFile.bcd[], 
  ProcessorFace: TYPE~@ProcessorFace.bcd[], 
  System: TYPE~@System.bcd[]] IN LAMBDA [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, 
        TimeImpl: Time, 
        TransactionImpl: Transaction, 
        TTYImpl: TTY] => [] IN REC [
      Strings: TYPE~@Strings.bcd[]; --LongStringImpl-- 
      StringsImpl: Strings~NIL; 
      CharIO: TYPE~@CharIO.mesa!2585844909[Format, Stream, Strings, "-b-cj-ns"][]; 
      CommandUtil: TYPE~@CommandUtil.mesa!2585845958[ExecOps, Stream, Strings, 
      "-b-cj-ns"][]; 
      Table: TYPE~@Table.bcd[]; 
      Alloc: TYPE~@Alloc.mesa!2585849506["-b-cj-ns"][]; 
      BcdDefs: TYPE~@BcdDefs.bcd[]; 
      BcdOps: TYPE~@BcdOps.bcd[]; 
      Symbols: TYPE~@Symbols.mesa!2591895789[PrincOps, Table, TimeStamp, 
      "-b-cj-ns"][]; 
      Literals: TYPE~@Literals.mesa!2591823743[Symbols, Table, "-b-cj-ns"][]; 
      Tree: TYPE~@Tree.mesa!2591824100[Table, Literals, Symbols, "-b-cj-ns"][]; 
      SymbolSegment: TYPE~@SymbolSegment.mesa!2591823663[Literals, 
      Symbols, Table, TimeStamp, Tree, "-b-cj-ns"][]; 
      SymbolOps: TYPE~@SymbolOps.mesa!2591827562[Alloc, Strings, Symbols, 
      TimeStamp, Tree, "-b-cj-ns"][]; 
      SymbolTable: TYPE~@SymbolTable.mesa!2568557625[FileSegment, SymbolPack, 
      "-b-cj-ns"][]; 
      FileSegment: TYPE~@FileSegment.mesa!2550689766[File, "-b-cj-ns"][]; 
      FileParms: TYPE~@FileParms.mesa!2563230620[FileSegment, Strings, 
      TimeStamp, "-b-cj-ns"][]; 
      OSMiscOps: TYPE~@OSMiscOps.mesa!2585846758[Environment, File, 
      Strings, TimeStamp, "-b-cj-ns"][]; 
      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]; 
      [SymbolPack: TYPE, SymbolPackImpl: SymbolPack, SymbolOpsImpl: SymbolOps]~@SymbolPack.mesa!2591827548
      [Inline, Literals, Strings, Symbols, SymbolOps, SymbolSegment, 
      TimeStamp, Tree, "-b-cj-ns"][InlineImpl, StringsImpl]; 
      SymbolTableImpl: SymbolTable~@SymbolCache.mesa!2591914617[Environment, 
      File, FileSegment, Heap, Space, Symbols, SymbolPack, SymbolSegment, 
      SymbolTable, "-b-cj-ns"][SymbolPackImpl, FileImpl, HeapImpl, SpaceImpl]; 
      ListerUtil: TYPE~@ListerUtil.mesa!2599055087[BcdDefs, BcdOps, 
      FileSegment, Space, Stream, Strings, Symbols, SymbolTable, "-b-cj-ns"][]; 
      [AllocImpl: Alloc, ListerUtilImpl: ListerUtil]~@ListerUtilities.mesa!2599068633
      [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]; 
      ListerOps: TYPE~@ListerOps.mesa!2581441556[Strings, "-b-cj-ns"][]; 
      TreeOps: TYPE~@ProtoTreeOps.mesa!2588520733[Alloc, Literals, 
      Symbols, Tree, "-b-cj-ns"][]; 
      CBinary: TYPE~@CBinary.bcd[]; 
      CBinaryImpl: CBinary~@DebugTab.bcd[]; 
      CompilerOps: TYPE~@CompilerOps.mesa!2601306490[File, FileSegment, 
      FileParms, Stream, Strings, TimeStamp, "-b-cj-ns"][]; 
      CompilerUtil: TYPE~@CompilerUtil.mesa!2588518198[Alloc, CompilerOps, 
      FileStream, Stream, Strings, Tree, "-b-cj-ns"][]; 
      TreeOpsImpl: TreeOps~@DummyTreePack.mesa!2588609141[Alloc, Tree, TreeOps, 
      "-b-cj-ns"][AllocImpl]; 
      LiteralOps: TYPE~@LiteralOps.mesa!2591889369[Alloc, Literals, 
      Strings, Symbols, "-b-cj-ns"][]; 
      LiteralOpsImpl: LiteralOps~@LiteralPack.mesa!2591892424[Alloc, 
      Literals, LiteralOps, Strings, Symbols, "-b-cj-ns"][AllocImpl, 
      StringsImpl]; 
      DebugTable: TYPE~@DebugTable.mesa!2550173137[Symbols, Tree, "-b-cj-ns"][]; 
      [CompilerUtilImpl1: CompilerUtil, ListerOpsImpl: ListerOps]~@SLList.mesa!2584379094
      [BcdDefs, CBinary, CharIO, CompilerUtil, Environment, FileSegment, 
      Heap, ListerOps, ListerUtil, LiteralOps, OSMiscOps, Runtime, 
      Stream, Strings, SymbolTable, TreeOps, "-b-cj-ns"][CBinaryImpl, 
      CharIOImpl, CompilerUtilImpl, HeapImpl, ListerUtilImpl, LiteralOpsImpl, 
      OSMiscOpsImpl, RuntimeImpl, StreamImpl, StringsImpl, SymbolTableImpl, 
      TreeOpsImpl]; 
      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]; 
      CompilerUtilImpl: CompilerUtil~CompilerUtilImpl1 + CompilerUtilImpl2; 
      SLControl: CONTROL~@SLControl.mesa!2588192503[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]]