local
   Z
   fun lazy {F1 X} X+Z end
   fun lazy {F2 Y} Z=1 Y+Z end
in
   {Browse {F1 1} + {F2 2}}
end