*: initialize state_mutex