if (!module.ok()) {
    return absl::UnknownError(
        absl::StrCat("Failed to convert SavedModel to StableHLO: ",
                     module.status().message()));
  }

  auto bytecode = ModuleToBytecode(module.value().get());
  if (!bytecode.ok()) {
    return absl::UnknownError(
        absl::StrCat("Failed to serialize MLIR module to bytecode: ",

        containsLine(result.getOutput(), "START [Test ${maybeParentheses('unknownError')}(SomeTest)] [${maybeParentheses('unknownError')}]")
        containsLine(result.getOutput(), "FINISH [Test ${maybeParentheses('unknownError')}(SomeTest)] [${maybeParentheses('unknownError')}] [FAILURE] [1] [AppException]")

        when:
        testDirectory.file('src/test/java/SomeOtherTest.java').delete()

    } else {
      options.toco_flags.set_enable_select_tf_ops(false);
    }
    if (!tflite::MlirToFlatBufferTranslateFunction(module, options, &result)) {
      return absl::UnknownError("Failed to export tflite file.");
    }
  }

  output->os() << result;
  output->keep();
  return absl::OkStatus();
}

}  // namespace tac
}  // namespace TFL