default_random

tlocal Sfc64Random default_random @private;