package Libsens.Exceptions is
   
   pragma Pure (Libsens.Exceptions);
   
   
   Impl_Limit : exception;
   Spec_Error : exception;
   
end Libsens.Exceptions;