Template:cpp/numeric/random/discard block engine/navbar