/interval.hpp/1.4/Mon Jul 19 20:51:48 2004//
D
