Erreur possible ?

Ça fait un moment que je n'ai pas fait d'Ada (au moins un an depuis que j'ai changé de boulot, surement un peu plus), et c'était de l'Ada nonante-cinq à l'époque, donc ce n'est pas sûr, mais en lisant le paragraphe suivant dans la dépêche je pense qu'il y a une erreur :

Un premier changement est l'ajout du mode in out pour les paramètres des fonctions. Cela introduit du coup une restriction qui est somme toute assez logique. Une fonction définissant un tel paramètre ne peut plus être incluse dans un autre appel directement si l'un de paramètres est aussi paramètre de l'appel du niveau supérieur.

J'ai plutôt l'impression que ça devrait être n'importe quelle fonction qui ne peut plus être incluse dans l'appel à une fonction avec un paramètre in out. (c'est peut-être ce que la phrase veut dire mais ce n'est pas ce que j'ai compris)

Ce que je pense :

 -- fonction normale
 function A(x : Integer) return Integer is begin ... end;
 -- nouvelle fonction si j'ai bien compris
 function B(y: in out Integer) return Integer is begin ... end;
 -- ce qui est interdit, je pense
 z := B(A(42));
 -- ce que je comprends de la phrase
 -- en fait je ne sais même pas comment écrire un appel tel que décrit par la phrase ;-)

Bon sinon je n'arriverai jamais à savoir comment dire à Markdown quel langage je veux utiliser…

Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.