/integer_mask.hpp/1.1/Tue Jun 25 12:09:36 2002//
/static_log2.hpp/1.1/Tue Jun 25 12:09:36 2002//
/static_min_max.hpp/1.1/Tue Jun 25 12:09:36 2002//
D
