fixed off-by-one error in GetRandomStub64()