added some stuff TODO in RPRNG.h