PROGRAM TestBits;
CONST
  { Maximum size of a variable }
  MaxVarSize = MaxInt div 8;
CONST kLastBit = ( MaxVarSize div $1000 - 1) ;
TYPE Bits = PACKED ARRAY[ 0..kLastBit] OF BOOLEAN;
VAR
   theBits: Bits;
 theIndex: LONGINT;
BEGIN
 WriteLn ('OK');
 Halt;
 FOR theIndex:= 1 TO kLastBit DO
  theBits[ theIndex]:= TRUE {GPC error, assignment of read-only location}
END.
