Title: Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing : International Standard ISO/IEC 8652