pragma Profile (Ravenscar);

with Ada.Interrupts.Names; use Ada.Interrupts.Names;

package Protected_Objects
  with SPARK_Mode
is
   protected P is
      pragma Priority (1);
      procedure Signal with Attach_Handler => SIGINT;
   end P;

end Protected_Objects;
