template<int DefaultSize>
std::vector<int> heavy_value< DefaultSize >::pop_buff(DefaultSize, rand());
template<int DefaultSize>
template<int DefaultSize>
std::vector<int> heavy_value< DefaultSize >::pop_buff(DefaultSize, rand());
template<int DefaultSize>