MyMap L Lout A B1 B2 C F in
   MyMap = proc {$ Xs F R}
      case Xs
      of nil then
     R = nil
      [] X|Xr then
     local T A in
        {F X A}
        {MyMap Xr F T}
        R = A|T
     end

      end
   end

   L = [1 2 3 4]
   F = proc {$ X R}
      local P in
         P = proc{$ R1}
            R1 = X*X
         end
         {ByNeed P R1}
      end
       end
   {MyMap L F Lout}
   A = Lout.1
   B1 = Lout.2
   B2 = B1.1
   C = A + B2
   {Browse C}
end