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