Ha sido escrito casi por completo en el mismo Ada, e implementa todos los anexos del estándar, habiendo sido certificado de ello.