echo
----
···db0.Barrier(ctx, tk(1), tk(2))
