Kernel

declare F1
local T1 T2 T3 T4 T5 T6
   F1=proc{$ A R}
     local D in
        {NewCell A D}
        R=proc{$ B R1}
         local F T7 T8 T9 in
            F=proc{$ C R2}
             local T10 T11 in
                T10=@D
                T11=T10+B
                R2=T11+C
             end
              end
            T7=@D
            T8=1
            T9=T7+T8
            D:=T9
            R1=F
         end
          end
     end
      end

   T1=2
   T2=4
   T3=6
   {F1 T1 T4}
   {T4 T2 T5}
   {T5 T3 T6}
   {Browse T6}
end