boost::array -> std::array