/optional.hpp/1.12/Mon Jun 26 18:01:36 2006//
/optional_fwd.hpp/1.1/Wed Jul  7 15:10:02 2004//
/optional_io.hpp/1.3/Fri Feb 17 21:15:58 2006//
D
