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