let
add_targets =
Adding_targets
.store_targets_to_add