redo_extra