/dev/random

I need to fix a bug for this release, but the other programmer has the file I need checked out so he can add a feature that isn’t needed immediately. We don’t allow multiple checkouts. *sigh*