strictly speaking this is not true: you would only be sure that `target` is terminated if you awaited its termination before this line