body = typecheck.Stmt(body)
		body = orderStmtInPlace(body, map[string][]*ir.Name{})

		loop := ir.NewForStmt(base.Pos, nil, cond, incr, nil, false)
		loop.Body = []ir.Node{body}
		loop.SetInit([]ir.Node{zero})

		appendWalkStmt(init, loop)
		return
	}
	// For a small number of entries, just add them directly.

	// Build list of var[c] = expr.

      CollectExternValues(regional.getRegions());

  if (!extern_values.empty()) return failure();

  init_name = GetName(regional, "_init");
  init_name = ExtractSingleBlockRegion(symbol_table, regional.getInit(),
                                       init_name, extern_values, worklist,
                                       /*extern_values_passthrough=*/false,
                                       /*only_one_return_value=*/false,

  int n;
  if (point.isParent()) {
    // The op itself branches to `init` first.
    regions.push_back(
        RegionSuccessor(&getInit(), getInit().front().getArguments()));
  } else if (point.getRegionOrNull() == &getInit()) {
    // `init` branches to `next`, passing along the arguments given to `init`'s
    // yield. Said arguments precede the "other args".
    n = getInitFuncOtherArgs().size();