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
      end
    call k
    end
  call f m1 m3
  end
.