rewrite record_redo