2003-01-23 Nathanael Nerode <neroden@gcc.gnu.org>