Text this: Recommendation for random number generation using deterministic random bit generators (revised) /