Use mwc-random and ST everywhere