public static void translateAndOutputUnitsToFile(String file, String targetlanguage) {
    Native.setSpecial(Stella.$TRANSLATIONPHASE$, Stella.KWD_TRANSLATE);
    if (((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())) == Stella.KWD_JAVA) {
    }
    else {
      if (((Integer)(Stella.$TRANSLATIONVERBOSITYLEVEL$.get())).intValue() >= 1) {
        System.out.println("Translating `" + file + "' to `" + targetlanguage + "'...");
      }
      Stella.translateAllUnits();
    }
    Stella.outputAllUnitsToFile(file);
  }