La definición del paquete Standard según el manual de referencia de Ada: