{ %FAIL }

program tb0238;

const
  Invalid = False;

{$setpeoptflags Invalid}

begin

end.