Text this: Ada 2012 reference manual. Language andsStandard libraries :