Это формат записи, описанный мной с помощью языковых конструкций. Я так и форматы файлов делаю в документацииРеально используется строка как массив символов, начиная с 1.
Сама STRING - указатель на первый символ. По смещению -4 находится положительный Length, -8 - кол-во ссылок. Для констант оно =-1, что означает запрет на освобождение этого блока, даже если ссылок на него больше нет. Но повторюсь, это технические вещи, о которых вовсе знать не нужно. В Обероне RefCount не нужен, так как своя сборка мусора, а Length-поле у всех массивов динамических есть.