define AUTO_SEEDING_RNG libstate