#84 Machine-state iterator doesn't need to be in a ThreadLocal