const int LENGTH = 10;
const int DEPTH = 10;
static MText mt = new MText ("0123456789");
- static MSymbol key = MSymbol.PropertyKey ("r__", MProperty.Flags.RearSticky);
+ static MSymbol key = MSymbol.PropertyKey ("rst", MProperty.Flags.RearSticky);
static MSymbol val0 = MSymbol.Of ("0");
static MSymbol val1 = MSymbol.Of ("1");
static MSymbol val2 = MSymbol.Of ("2");