P_OLC_NONZERO = new Mask(".100000..............................");
P_ALWAYS = new Mask(".000000..............................");
-
- // use these when Marina gets updated to 07-Jan-2009 version of internal encoding
HEAD = new Mask(".......1.............................");
ABORT = new Mask("........1............................");
TAIL = new Mask(".........1...........................");
SET_IMMEDIATE = new Mask("..........1......0.....vvvvvvvvvvvvvv");
SET_IMMEDIATE_EXTEND = new Mask("..........1......0....v..............");
MOVE = new Mask("............1........................");
+
TI = new Mask("............1.....1..................");
DI = new Mask("............1......1.................");
FLUSH = new Mask("..........1......0.....011...........");