grabState() is synchronized
# announcements
v
grabState() is synchronized