Template:cpp/numeric/random/mersenne twister engine/navbar