Now, we can change back l. 588 to match the one in the doc: `state = shared(0)`