A simple, lightweight, public-domain secure random number generator