echo
----
db0.Del(ctx, tk(1) /* @s1 */) // @0.000000003,0 <nil>
db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
  txn.SetIsoLevel(isolation.Serializable)
  txn.Put(ctx, tk(2), sv(2)) // <nil>
  txn.Del(ctx, tk(1) /* @s3 */) // <nil>
  return nil
}) // @0.000000002,0 <nil>
/Table/100/"0000000000000001"/0.000000002,0 @ s3 <nil>
/Table/100/"0000000000000001"/0.000000003,0 @ s1 <nil>
/Table/100/"0000000000000002"/0.000000002,0 @ s2 v2
