coverity-model: Fix replay_get_byte()