Según el de Ada el paquete Ada.Exceptions debe tener esta especificación: