2004-11-09 Paul Eggert <eggert@cs.ucla.edu.