```mlir
      %old_val = "tf.ReadVariableOp"(%buffer)
      %old_size = "tf.ReadVariableOp"(%size)
      %offsets = "tf.ConcatV2"(%old_size, %other_dims_0s, %const0)
      %new_val = "tf.XlaDynamicUpdateSlice"(%old_val, %push_val, %offsets)
      "tf.AssignVariableOp"(%buffer, %new_val)
      %new_size = "tf.AddV2"(%old_size, %const1)
      "tf.AssignVariableOp"(%size, %new_size)
    ```