echo
----
···db0.BarrierWithLAI(ctx, tk(3), tk(4))
