Discard any random bits buffered from a previous rand64() call.
Declared in <random.h>
<random.h>
constexpr void FlushCache() noexcept;