echo
----
db0.DelRange(ctx, tk(1), tk(3), true /* @s6 */) // @<ts> (/Table/100/"0000000000000001", <nil>)
