User-defined random generator seed