> Well, that's probably true.  In this particular case, I remember the
> GNAT documentation argues that the cost of this check is pretty high,
> and the number of times it's likely to cause a problem is pretty low, so
> the check is not high-value, but it is high cost.

ACT of course has to primarily respond to their paying customers.
In that sense, defaulting the check to off is a punishment imposed
on those who don't read the manual.  If the paying customers like
it that way, so be it.  :-)