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