nested.adb

package body Foo is

   procedure T is
      B : Float;
      type Proc_Access is access procedure (A : Integer);
      pragma Convention (C, Proc_Access);

      procedure Pouet (A : Integer);
      pragma Convention(C, Pouet);

      procedure Pouet (A : Integer) is
      begin
         B := Float (A) + 12.0;
      end;

      PA : Proc_Access := Pouet'Access;
   begin
      null;
   end T;
end Foo;