Thank YouYour request for pricing info is received. An AdaCore representative will follow up with you shortly.