:ext:deepthought.ics.uci.edu/home/specc/cvs
