Esto es así porque los arrays de Ada siempre llevan asociados los límites (atributos 'First y 'Last).