Support for user-supplied random seed