Не понимаю. Разве можно передать массив так, чтобы "на принимающей стороне" компилятор проверял код и сообщал о выходах за границы массива?
Во во. Я и говорю, что в КДС2 нет возможности сделать блок-обработку массива, который мог бы принимать массивы разных размеров и при этом проверялись границы массива на этапе компиляции.