The description incorrectly states that both processes are initialized with 0, while in the code the second process receives a non-default initial value.
The description incorrectly states that both processes are initialized with 0, while in the code the second process receives a non-default initial value.