10-statistics.hpp-gcc4.3.patch
20-bug412389.patch
