רוסית ⇄ אנגלית

формальный параметр с явно назначенным псевдонимом в теле функции מתח
.תִכנו	explicitly aliased formal parameter in a function body (корпорации AdaCore Alex_Odeychuk)