ProcStart dt=451 p=2 p_seq=1
GoStart dt=188 g=8 g_seq=1
EventBatch gen=1 m=167926 time=28113086275999 size=324
ProcStatus dt=295 p=0 pstatus=1
GoStatus dt=5 g=1 m=167926 gstatus=2
ProcsChange dt=405 procs_value=48 stack=1
STWBegin dt=65 kind_string=21 stack=2
HeapGoal dt=2 heapgoal_value=4194304
ProcStatus dt=4 p=1 pstatus=2
ProcStatus dt=1 p=2 pstatus=2
ProcStatus dt=1 p=3 pstatus=2
ProcStatus dt=1 p=4 pstatus=2

		HasData: true, // Easier to represent for raw readers.
	},

	// "Timed" Events.
	EvProcsChange: event.Spec{
		Name:         "ProcsChange",
		Args:         []string{"dt", "procs_value", "stack"},
		IsTimedEvent: true,
		StackIDs:     []int{2},
	},
	EvProcStart: event.Spec{
		Name:         "ProcStart",
		Args:         []string{"dt", "p", "p_seq"},
		IsTimedEvent: true,
	},

ProcsChange dt=184 procs_value=8 stack=1
STWBegin dt=81 kind_string=21 stack=2
HeapGoal dt=5 heapgoal_value=4194304
ProcStatus dt=2 p=1 pstatus=2
ProcStatus dt=1 p=2 pstatus=2
ProcStatus dt=1 p=3 pstatus=2
ProcStatus dt=1 p=4 pstatus=2
ProcStatus dt=1 p=5 pstatus=2
ProcStatus dt=1 p=6 pstatus=2
ProcStatus dt=1 p=7 pstatus=2
ProcsChange dt=51 procs_value=8 stack=3
STWEnd dt=74

GoStatus dt=4 g=1 m=1986492 gstatus=2
ProcsChange dt=220 procs_value=8 stack=1
STWBegin dt=127 kind_string=21 stack=2
HeapGoal dt=3 heapgoal_value=4194304
ProcStatus dt=2 p=0 pstatus=2
ProcStatus dt=2 p=2 pstatus=2
ProcStatus dt=1 p=3 pstatus=2
ProcStatus dt=1 p=4 pstatus=2
ProcStatus dt=1 p=5 pstatus=2
ProcStatus dt=1 p=6 pstatus=2
ProcStatus dt=1 p=7 pstatus=2
ProcsChange dt=353 procs_value=8 stack=3
STWEnd dt=277

GoBlock dt=7067 reason_string=15 stack=5
ProcStop dt=23
EventBatch gen=3 m=169401 time=28114950894770 size=505
ProcStatus dt=1 p=8 pstatus=1
GoStatus dt=1 g=130 m=169401 gstatus=2
ProcsChange dt=124 procs_value=48 stack=1
GCActive dt=3 gc_seq=4
HeapAlloc dt=600 heapalloc_value=190152128
HeapAlloc dt=16 heapalloc_value=190160320
HeapAlloc dt=11095 heapalloc_value=191741376
HeapAlloc dt=179 heapalloc_value=191749568

	return newState, blockChanged
}

// processValue updates locs and state.registerContents to reflect v, a
// value with the names in vSlots and homed in vReg.  "v" becomes
// visible after execution of the instructions evaluating it. It
// returns which VarIDs were modified by the Value's execution.
func (state *debugState) processValue(v *Value, vSlots []SlotID, vReg *Register) bool {
	locs := state.currentState

    assert(crops_attr.getNumElements() == 4 &&
           "tf.BatchToSpace crops must have 4 elements");

    auto crops_range = crops_attr.getValues<APInt>();
    for (const auto& crops_value : crops_range) {
      int64_t crops_value_int = crops_value.getSExtValue();
      if (crops_value_int < 0)
        return op.emitOpError()
               << "requires all crop values to be nonnegative, but got "
               << crops_attr;