increment_recovery_point
increment_recovery_point(&recovery_point)) {
increment_recovery_point(&repair->next_recovery_point);