protected final boolean MASK (OPT_Operand a) { return  MASK(IV(a));
protected final boolean MASK (int value) { if (value < 0) value = ~value; return  POSITIVE_MASK(value);
  protected final boolean MASK (OPT_Operand a) {    return  MASK(IV(a));  }