Да.

[untagged] и [union] в точности соотвествуют структурам и union-ам Си.

Т.е. чисто распил памяти с обращением по имени поля.

Для взаимодействия из КП с внешними библиотеками.

## Код:
```
TYPE
  MyType = RECORD [union]
    var1: RECORD [untagged]
       a, b: INTEGER
    END;
    var2: LONGINT
  END;
```


Компилируемость не проверял, может, тип var1 отдельно объявить, но, скорее всего, должно сработать.