Preserving non-default array bounds in dummy arguments

I agree declaring the bounds as parameters is the cleanest and safest approach when the bounds are known at compile time, as in this minimal example. That’s unfortunately not the case in the application at hand.