function mainx m1 m2 m3
  begin
  function f f1 f2
    begin
    end
  function g
    begin
    function k
      begin
      function h h1 h2 h3
	begin
	call f h2 m3
	end
      call h m1 m3 m2
      end
    call f m1 m2 m1
    end
  call g
  end
.