return s.load(n.Type(), p)

	case ir.OINDEX:
		n := n.(*ir.IndexExpr)
		switch {
		case n.X.Type().IsString():
			if n.Bounded() && ir.IsConst(n.X, constant.String) && ir.IsConst(n.Index, constant.Int) {
				// Replace "abc"[1] with 'b'.
				// Delayed until now because "abc"[1] is not an ideal constant.
				// See test/fixedbugs/issue11370.go.

    for (auto i = 0; i < slice_sizes.size(); ++i) {
      if (slice_sizes[i] == tensorflow::kTFDynamicSize) {
        Value i_const = rewriter.create<arith::ConstantOp>(
            op.getLoc(), rewriter.getIndexAttr(i));
        Value slice_size_index =
            rewriter.create<shape::DimOp>(op.getLoc(), op.getValue(), i_const);
        Value index_to_i64 = rewriter.create<arith::IndexCastOp>(

### IR. Interpreter

- [`KT-64079`](https://youtrack.jetbrains.com/issue/KT-64079) Native library evolution behaviour for constants
- [`KT-62683`](https://youtrack.jetbrains.com/issue/KT-62683) K2: FIR2IR: IrConst*Transformer doesn't evaluate an expression for const val initializer

### IR. Tree