Replace wtl::prandom() with wtl::sfmt()