On Thu, Apr 24, 2003 at 04:30:44AM +0100, Jason Merrill wrote: > Does this make sense to everyone? Yes. So long as we rename these flags to avoid confusion. r~