От себя хочу добавить такой момент. В документации модуля Integers:
## Код:
```
TYPE Integer = POINTER;
```

Однако, если посмотреть интерфейс модуля, получим:
## Код:
```
Integer = POINTER TO IntegerDesc;
```
где IntegerDesc - не экспортированный тип. Можно предположить, что швейцарцы сами до конца не определились с тем, что и как тут делать.