echo
----
db0.Put(ctx, tk(1), sv(1)) // @0.000000001,0 <nil>
db0.Put(ctx, tk(4), sv(2)) // @0.000000002,0 <nil>
db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
  txn.SetIsoLevel(isolation.Serializable)
  txn.DelRange(ctx, tk(1), tk(3), true /* @s3 */) // (/Table/100/"0000000000000001", /Table/100/"0000000000000004", <nil>)
  return nil
}) // @0.000000003,0 <nil>
/Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
/Table/100/"0000000000000001"/0.000000003,0 @ s3 <nil>
/Table/100/"0000000000000004"/0.000000002,0 @ s2 v2
committed serializable txn missing write at seq s3: [dr.d]/Table/100/"0000000000000001":0.000000003,0-><nil>@s3 [dr.d]/Table/100/"0000000000000004":missing-><nil>@s3 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000003,0, <max>)}->[]
