local Fact in
	Fact = proc {$ N R}
		local B in
			B=(N==0)
			if B then R=1
			else
				local NN in
					NN=N-1
					local RR in
						{Fact NN RR}
						R=N*RR
					end
				end
			end
		end
	local X in
		local Y in
			Y=1
			{Fact Y X}
			{Browse X}
		end
	end
end