2002-12-23 Nathanael Nerode <neroden@gcc.gnu.org>