Template:cpp/numeric/random/random device/navbar