struct Token

Thread safety token.

This token acts like a "no-op mutex", allowing compiler thread safety annotations

to be placed on code or data that should only be accessed by a particular thread.

Any code that acquires the token makes the claim that it is running on the (single)

correct thread, and hence it is safe to access the annotated data and execute the annotated code.