Symbol: replay_get_state