⁵The 32-bit and the 64-bit Mersenne Twister algorithms available in Maude are based on the algorithms mt19937 and mt19937_64 from the C++ standard library.