public static boolean javaSymbolCaseP(Stella_Object keyform) {
    if (Stella_Object.safePrimaryType(keyform) == Stella.SGT_STELLA_CONS) {
      { Cons keyform000 = ((Cons)(keyform));

        return ((keyform000.value == Stella.SYM_STELLA_SYS_SLOT_VALUE) &&
            (keyform000.rest.rest.value == Stella.SYM_STELLA_SYMBOL_ID));
      }
    }
    else {
      return (false);
    }
  }