stack3884, stack3888, stack3892, stack3896, stack3900, stack3904,
	stack3908, stack3912, stack3916, stack3920, stack3924, stack3928,
	stack3932, stack3936, stack3940, stack3944, stack3948, stack3952,
	stack3956, stack3960, stack3964, stack3968, stack3972, stack3976,
	stack3980, stack3984, stack3988, stack3992, stack3996, stack4000,
	stack4004, stack4008, stack4012, stack4016, stack4020, stack4024,

    // expected-remark@above {{ID: 5}}
    // expected-remark@above {{Successors: {6}}}
        %stack_handle1 = "tf.StackV2"(%arg0) {elem_type = f32, stack_name = "s"} : (tensor<i32>) -> tensor<!tf_type.resource>
        // expected-remark@above {{ID: 0}}
        %stack_handle2 = "tf.StackV2"(%arg0) {elem_type = f32, stack_name = "s"} : (tensor<i32>) -> tensor<!tf_type.resource>
        // expected-remark@above {{ID: 1}}

    maximum size needs to be a constant and 2) a push op can be found with a
    known shape, and all push ops need to have the same shape.

    A stack creation op "tf.StackV2" will be turned in to two zero-initialized
    variables, for the buffer and current size. Each push will be turned into
    ```mlir
      %old_val = "tf.ReadVariableOp"(%buffer)
      %old_size = "tf.ReadVariableOp"(%size)