Да, действительно
В этом случае нужно делать так:
## Код:
```
PROCEDURE [ code ] CARD* (x : BYTE) : INTEGER;
```

Это законченная процедура, превращающая байт в целое без учёта знака - хотя по незнанию можно долго искать, где у неё тело