Removed unused Randomizer_stub