The GPC manual for PtrInt reads
PtrInt (Under construction.) Synopsis type PtrCard = Integer attribute (Size = BitSizeOf (Pointer)); Description A signed integer type of the same size as a pointer. Conforming to ‘PtrInt’ is a GNU Pascal extension.
This should obviously be
PtrInt = Integer attribute (Size = BitSizeOf (Pointer));
By the way, I didn't manage to build the html version of the manual, because the entry for 'Index' creates an index.html file, which conflicts with the usual index.html file.
Regards,
Adriaan van Os