-- TestBL.model, July 19, 1983 5:03 pm
LET @OSBasics.model!2606162530 IN LET [KernelFile: TYPE~@KernelFile.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[]; 
      FileSegment: TYPE~@FileSegment.mesa!2550689766[File, "-b-cj-ns"][]; 
      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"][]; 
      RTBcd: TYPE~@RTBcd.mesa!2562263325[BcdDefs, RCMap, 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"][]; 
      SymbolPack: TYPE~@SymbolPack.mesa!2591827548[Inline, Literals, 
      Strings, Symbols, SymbolOps, SymbolSegment, TimeStamp, Tree, "-b-cj-ns"][InlineImpl, 
      StringsImpl]; 
      SymbolTable: TYPE~@SymbolTable.mesa!2568557625[FileSegment, SymbolPack, 
      "-b-cj-ns"][]; 
      RCMap: TYPE~@RCMap.mesa!2542132963["-b-cj-ns"][]; 
      TypeStrings: TYPE~@TypeStrings.mesa!2598552508[Symbols, SymbolTable, 
      "-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]; 
      ListerUtil: TYPE~@ListerUtil.mesa!2599055087[BcdDefs, BcdOps, 
      FileSegment, Space, Stream, Strings, Symbols, SymbolTable, "-b-cj-ns"][]; 
      [AllocImpl: Alloc, ListerUtilImpl1: 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]; 
      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 + ListerUtilImpl2; 
      ListerOps: TYPE~@ListerOps.mesa!2581441556[Strings, "-b-cj-ns"][]; 
      ListerOpsImpl: ListerOps~@BLList.mesa!2581441665[BcdDefs, BcdOps, 
      CharIO, FileSegment, ListerOps, ListerUtil, OSMiscOps, Space, 
      Stream, Strings, "-b-cj-ns"][CharIOImpl, ListerUtilImpl, OSMiscOpsImpl, 
      SpaceImpl, StreamImpl]; 
      BLControl: CONTROL~@BLControl.mesa!2588192349[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]]