Symbol: ipsa_is_replay_set