default_random_initialized

tlocal bool default_random_initialized @private = false;