var 
  i,j : integer;                             // Глобальные переменные

  procedure P1;                                  // Началось описание процедуры P1
  var                                            //
    k : integer;                                 // к - локальная переменная в P1
                                                     //
    procedure P2;                                    // Вложенная процедура P2
    var                                              //
      n : integer;                                   // n - локальная переменная в P2
                                                     //
    begin                                            // Начался код P2
      ...                                            //
    end;                                             // P2 - закончилась
                                                 //
  begin                                          // Начался код P1
    ...                                          //
    P2;                                          // Вызов P2 
    ...                                          //
  end;                                           // P1 - закончилась

var
  m,l:integer;                               // Продолжение описаний глобальных переменных. 
                                             // Необходим новый раздел
                                             //
begin                                        // Начался код самой программы
  ...                                        //
  P1;                                        // Вызов P1 внутри программы 
  ...                                        // 
end.                                         // Вся программа закончилась