Я просто оставлю это здесь, для справки. (Стоило бы, наверное, документировать это в Platform-Specific Issues)

SYSTEM.THISARRAY(adr, len)
В списке фактических параметров обозначает одномерный массив длиныlen, нулевой элемент которого расположен по адресуadr, а элементный тип совпадает с элементным типом формального параметра-открытого одномерного массива.

В списке фактических параметров обозначает массив вида ARRAY len OF T, нулевой элемент которого расположен по адресуadr, гдеTопределяется формальным параметром вида ARRAY OF T.

Как лучше?