public static void printFormula(Stella_Object formula, int indent) {
    { Object old$Indentcounter$000 = Logic.$INDENTCOUNTER$.get();

      try {
        Native.setIntSpecial(Logic.$INDENTCOUNTER$, indent);
        Logic.printUnformattedLogicalForm(formula, Stella.STANDARD_OUTPUT);

      } finally {
        Logic.$INDENTCOUNTER$.set(old$Indentcounter$000);
      }
    }
  }