/interval.hpp/1.1/Thu Oct  6 12:13:52 2005//
D