public static void ensureFileExists(String filename, String context) {
    if (!(Stella.probeFileP(filename))) {
      { NoSuchFileException self000 = NoSuchFileException.newNoSuchFileException(context + ": file " + filename + " does not exist");

        self000.filename = filename;
        { NoSuchFileException ex = self000;

          throw ((NoSuchFileException)(ex.fillInStackTrace()));
        }
      }
    }
  }