+ // The property beginning at position i ends at position end[i].
+ // If no property begins at position i, end[i] is undefined.
+ static int[] end = new int[LENGTH];
+
+ // The property beginning at position i has value value[i].
+ // If no property begings at positoin i, value[i] is undefined.
+ static MSymbol[] value = new MSymbol[LENGTH];
+
+ // Cut buffers
+ static int[] subprop = new int[LENGTH], subend = new int[LENGTH];
+ static MSymbol[] subvalue = new MSymbol[LENGTH];
+
+ static void TestPushProp (int from, int to, MProperty newprop)