Email Record: Ada 2005 reference manual :