/add_pointer.cc/1.1/Sun Dec 12 14:31:11 2004//
/remove_pointer.cc/1.1/Sun Dec 12 14:31:11 2004//
D
