/integer_mask.hpp/1.1/Tue May 21 23:39:55 2002//
/static_log2.hpp/1.2/Sun Jul 28 23:38:37 2002//
/static_min_max.hpp/1.1/Tue May 21 23:39:55 2002//
D
