procedure output_infix( t : tree );
	begin
	if t <> nil then begin
		output_infix( t^.left );
		output( t^.key );
		output_infix( t^.right );
		end
	end;