echo
----
db0.Put(ctx, tk(1), sv(1)) // @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 /* @s2 */) // @0.000000002,0 (/Table/100/"0000000000000001", /Table/100/"0000000000000002", <nil>)
  return nil
}) // @0.000000002,0 <nil>
/Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
/Table/100/"0000000000000001"/0.000000002,0 @ s2 <nil>
mismatched write timestamp 0.000000001,0 and exec timestamp 0.000000002,0: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1
committed serializable txn missing write at seq s2: [dr.d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s2 [dr.d]/Table/100/"0000000000000002":missing-><nil>@s2 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000002,0, <max>)}->[]
