Function doInit

source/core/StarRandom.cpp:202–206

  }

  void doInit(uint64_t seed) {
    g_randSource = RandomSource(seed);
    // Also set the C stdlib random seed
    srand(seed);
  }

  void checkInit() {
    // Mutex must already be held