The seed is set by ModuleSystem