Массивы. Well-formedness выражений с массивами. Абстракция памяти. Устройство массивов в библиотеке поддержки времени исполнения. Встроенные функции.