/1.cc/1.2/Wed Aug 17 02:20:59 2005//
/2.cc/1.3/Wed Aug 17 02:20:59 2005//
/3.cc/1.7/Wed Oct  5 19:11:17 2005//
/4.cc/1.4/Wed Aug 17 02:20:59 2005//
D/cons////
D/open////
D/rdbuf////
