# rand-util Utility functions for <random> in c++11