dragonegg/test/compilator/local/ada/fat_fields.adb

package body Fat_Fields is
   procedure Proc is
   begin
      if P = null then
         null;
      end if;
   end;
end;