function mainx m1 m2
  begin
  function f f1 f2
    begin
    end
  function g g1 g2
    begin
    function k k1 k2 k3
      begin
      end
    function h h1 h2 h3
      begin
      call f h3 g1
      call k g2 m2 m1
      end
    call h m1 g1 g2
    end
  call f m2 m1
  call g m1 m2
  end
.