Template:cpp/numeric/random/seed seq/navbar