2002-12-13 Paul Eggert <eggert@twinsun.com>