King: add unsafe counting factorizer.
King: lazy init race, and add evidence for it.