echo
----
···db0.Del(ctx, tk(1) /* @s1 */)
