Email Record: Ada 2012 reference manual :