...
To guarantee liveness and safety, the {[wait()}} method should always be called inside a while loop.
...
...
To guarantee liveness and safety, the {[wait()}} method should always be called inside a while loop.
...