get_replay_state() always returns a replay_state_len when returning a replay state, but GCC doesn't know about that.