Looks like nondeterminism in `next(d.iterkeys())` was breaking consistency with A&B. Next up: switching determinism on or off.