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