-- TestCL.model, July 19, 1983 5:30 pm
LET @OSBasics.model!2606162530 IN LET [KernelFile: TYPE~@KernelFile.bcd[], 
  Mopcodes: TYPE~@Mopcodes.bcd[], 
  ProcessorFace: TYPE~@ProcessorFace.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"][]; 
      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"][]; 
      OpTableDefs: TYPE~@OpTableDefs.mesa!2582580330[Environment, "-b-cj-ns"][]; 
      [MopcodeNames: TYPE, MopcodeNamesImpl: MopcodeNames]~@MopcodeNames.bcd[]; 
      ListerOpsImpl: ListerOps~@CLList.mesa!2598894933[BcdDefs, BcdOps, 
      CharIO, Environment, FileSegment, FileStream, Format, Heap, Inline, 
      ListerOps, ListerUtil, Mopcodes, OpTableDefs, OSMiscOps, PrincOps, 
      Space, Stream, Strings, Symbols, SymbolSegment, SymbolTable, "-b-cj-ns"][CharIOImpl, 
      FileStreamImpl, 
      HeapImpl, 
      InlineImpl, 
      ListerUtilImpl, 
      OpTableDefsImpl, 
      OSMiscOpsImpl, 
      SpaceImpl, 
      StreamImpl, 
      StringsImpl, 
      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"][]; 
      OpTableDefsImpl: OpTableDefs~OpTableDefsImpl1 + OpTableDefsImpl2; 
      CLControl: CONTROL~@CLControl.mesa!2581443439[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]]