local Length R in
   proc {Length Xs L R}
      case Xs
      of nil then R = L
      [] X|Xr then
        local P in
            P = L+1
            {Length Xr P R}
        end
      end
   end

   {Length [1 2 3 4] 0 R}
   {Browse R}
end