public static boolean trueOptionP(Stella_Object value) {
    return ((value == Stella.SYM_STELLA_TRUE) ||
        (Stella_Object.eqlP(value, Stella.TRUE_WRAPPER) ||
         (Stella_Object.isaP(value, Stella.SGT_STELLA_SYMBOL) &&
          Stella.stringEqualP(((Symbol)(value)).symbolName, "TRUE"))));
  }