setup_replay_one_trace_frame doesn't use its dbg parameter.