use new interface of ThreadLocalRng