Bullet 5.3 should say “get_stop_token_t” instead of “stop_token_t”, which does not exist. Proposed change: Modify accordingly.