const int DEPTH = 10;
static MText mt = new MText ("0123456789");
static MSymbol key = MSymbol.PropertyKey ("___");
+#if false
static MSymbol key_r = MSymbol.PropertyKey ("r__",
MProperty.Flags.RearSticky);
static MSymbol key_f = MSymbol.PropertyKey ("_f_",
(MProperty.Flags.RearSticky
| MProperty.Flags.FrontSticky
| MProperty.Flags.Sensitive));
+#endif
static MSymbol val0 = MSymbol.Of ("0");
static MSymbol val1 = MSymbol.Of ("1");