Refactored to load renamed Core_rand module -> Core_rand00