Update prngs.cpp