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