ref: 49fdcd1ed465e2ad2b8622eb1647eb5e0f8d6608
parent: 80aa8bafb1d20bc0b2fea6b5c928db58a93c851f
author: Simon Tatham <anakin@pobox.com>
date: Mon May 23 08:02:37 EDT 2005
Avoid leading zeroes on internally generated random seeds, _just_ in case they confuse anyone who expects the same seed without the leading zero to be equivalent. [originally from svn r5838]