ada: Allow use of writable parameters inside function with side-effects