{ %FAIL }

program tb0237;

const
  Invalid = False;

{$setpeflags Invalid}

begin

end.