// blocks.
  std::tuple<SizeT, RematSpec> FindBestRemat(SizeT min_savings, int begin_len,
                                             int end_len) const;

  // Optimization: Estimate (from above) the remat savings of instruction block
  // [begin, end) after operation `peak_location`
  SizeT MaxSavings(int begin, int end, int peak_loc) const;

}

std::tuple<Rematerializer::SizeT, Rematerializer::RematSpec>
Rematerializer::FindBestRemat(const SizeT min_savings, const int begin_len,
                              const int end_len) const {
  const auto peak = GetPeakMemory();
  SizeT best_peak_mem = peak.size;
  RematSpec best_remat = {};

  for (int len = begin_len; len < end_len; ++len) {
    std::vector<std::tuple<SizeT, int, int>> pre_screen;

      std::uniform_int_distribution<int> some_tensor(0, num_tensors - 1);
      std::uniform_int_distribution<int> some_operation(0, num_operations - 1);

      for (int i = 0; i < num_tensors; ++i) {
        AddTensor(SizeT{1} << some_size_log(rng));
      }
      for (int i = 0; i < num_operations; ++i) {
        AddOperation(/*is_stateful=*/false);
      }
      for (int i = 0; i < num_uses; ++i) {

1380..138F    ; valid                                  # 4.1  ETHIOPIC SYLLABLE SEBATBEIT MWA..ETHIOPIC SYLLABLE PWE
1390..1399    ; valid                  ;      ; NV8    # 4.1  ETHIOPIC TONAL MARK YIZET..ETHIOPIC TONAL MARK KURT
139A..139F    ; disallowed                             # NA   <reserved-139A>..<reserved-139F>
13A0..13F4    ; valid                                  # 3.0  CHEROKEE LETTER A..CHEROKEE LETTER YV