/integer_mask.hpp/1.2/Fri Jul 30 04:45:42 2004//
/static_log2.hpp/1.5/Thu Jul 22 09:02:42 2004//
/static_min_max.hpp/1.2/Fri Jul 30 04:45:52 2004//
D
