E1:     C1 CALL pred nondet_stack.main/2-0 (cc_multi) nondet_stack.m:NNNN
mdb> echo on
Command echo enabled.
mdb> context none
Contexts will not be printed.
mdb> register --quiet
mdb> goto 22
      E2:     C2 SWTC pred nondet_stack.qperm/2-0 (nondet) s2-2;
mdb> nondet_stack -f 3
non 162: ordinary, 16 words
 redoip: unnamed label
 redofr: non 162
 succip: unnamed label
 succfr: non 123
non 146: temp
 redoip: label UNKNOWN
 redofr: non 140
non 143: temp
 redoip: unnamed label
 redofr: non 140
<more stack frames snipped>
mdb> nondet_stack
non 162: ordinary, 16 words
 redoip: unnamed label
 redofr: non 162
 succip: unnamed label
 succfr: non 123
non 146: temp
 redoip: label UNKNOWN
 redofr: non 140
non 143: temp
 redoip: unnamed label
 redofr: non 140
non 140: ordinary, 17 words
 redoip: unnamed label
 redofr: non 140
 succip: unnamed label
 succfr: non 123
non 123: ordinary, 16 words
 redoip: unnamed label
 redofr: non 123
 succip: unnamed label
 succfr: non  84
non 107: temp
 redoip: label UNKNOWN
 redofr: non 101
non 104: temp
 redoip: unnamed label
 redofr: non 101
non 101: ordinary, 17 words
 redoip: unnamed label
 redofr: non 101
 succip: unnamed label
 succfr: non  84
non  84: ordinary, 16 words
 redoip: unnamed label
 redofr: non  84
 succip: unnamed label
 succfr: non  45
non  68: temp
 redoip: label UNKNOWN
 redofr: non  62
non  65: temp
 redoip: unnamed label
 redofr: non  62
non  62: ordinary, 17 words
 redoip: unnamed label
 redofr: non  62
 succip: unnamed label
 succfr: non  45
non  45: ordinary, 16 words
 redoip: unnamed label
 redofr: non  45
 succip: unnamed label
 succfr: non  29
non  29: ordinary, 15 words
 redoip: unnamed label
 redofr: non  29
 succip: unnamed label
 succfr: non  10
non  14: temp
 redoip: unnamed label
 redofr: non  10
 detfr:  det  21
non  10: ordinary, 6 words
 redoip: label global_fail
 redofr: non  10
 succip: label wrapper_not_reached
 succfr: non   4
mdb> stack_regs
sp = det  21
curfr = non 162
maxfr = non 162
mdb> nondet_stack -d
non 162: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;>
 redoip: unnamed label
 redofr: non 162
 succip: unnamed label
 succfr: non 123
 on main nondet branch non 162
       HeadVar__1             [4, 5]
       TypeInfo_for_T         int
non 146: temp
 redoip: label UNKNOWN
 redofr: non 140
non 143: temp
 redoip: unnamed label
 redofr: non 140
non 140: ordinary, 17 words
 redoip: unnamed label
 redofr: non 140
 succip: unnamed label
 succfr: non 123
 top frame of a nondet side branch non 140
       HeadVar__2             [3, 4, 5]
       TypeInfo_for_T         int
non 123: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non 123
 succip: unnamed label
 succfr: non  84
 on main nondet branch non 162
       HeadVar__1             [3, 4, 5]
       TypeInfo_for_T         int
       U                      3
       Z                      [4, 5]
non 107: temp
 redoip: label UNKNOWN
 redofr: non 101
non 104: temp
 redoip: unnamed label
 redofr: non 101
non 101: ordinary, 17 words
 redoip: unnamed label
 redofr: non 101
 succip: unnamed label
 succfr: non  84
 top frame of a nondet side branch non 101
       HeadVar__2             [2, 3, 4, 5]
       TypeInfo_for_T         int
non  84: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non  84
 succip: unnamed label
 succfr: non  45
 on main nondet branch non 162
       HeadVar__1             [2, 3, 4, 5]
       TypeInfo_for_T         int
       U                      2
       Z                      [3, 4, 5]
non  68: temp
 redoip: label UNKNOWN
 redofr: non  62
non  65: temp
 redoip: unnamed label
 redofr: non  62
non  62: ordinary, 17 words
 redoip: unnamed label
 redofr: non  62
 succip: unnamed label
 succfr: non  45
 top frame of a nondet side branch non  62
       HeadVar__2             [1, 2, 3, 4, 5]
       TypeInfo_for_T         int
non  45: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non  45
 succip: unnamed label
 succfr: non  29
 on main nondet branch non 162
       HeadVar__1             [1, 2, 3, 4, 5]
       TypeInfo_for_T         int
       U                      1
       Z                      [2, 3, 4, 5]
non  29: ordinary, 15 words, pred nondet_stack.queen/2-0 (nondet) <c2;>
 redoip: unnamed label
 redofr: non  29
 succip: unnamed label
 succfr: non  10
 on main nondet branch non 162
       Data (arg 1)           [1, 2, 3, 4, 5]
       TypeCtorInfo_5         int
non  14: temp
 redoip: unnamed label
 redofr: non  10
 detfr:  det  21
non  10: ordinary, 6 words
 redoip: label global_fail
 redofr: non  10
 succip: label wrapper_not_reached
 succfr: non   4
mdb> goto 39
      E3:     C3 CALL pred nondet_stack.safe/1-0 (semidet)
mdb> nondet_stack
non 258: temp
 redoip: label UNKNOWN
 redofr: non  45
non 255: temp
 redoip: label UNKNOWN
 redofr: non  84
non 252: temp
 redoip: label UNKNOWN
 redofr: non 123
non 249: temp
 redoip: label UNKNOWN
 redofr: non 162
non 246: temp
 redoip: label UNKNOWN
 redofr: non 201
non 243: temp
 redoip: label UNKNOWN
 redofr: non 240
non 240: ordinary, 16 words
 redoip: unnamed label
 redofr: non 240
 succip: unnamed label
 succfr: non 201
non 224: temp
 redoip: label UNKNOWN
 redofr: non 218
non 221: temp
 redoip: unnamed label
 redofr: non 218
non 218: ordinary, 17 words
 redoip: unnamed label
 redofr: non 218
 succip: unnamed label
 succfr: non 201
non 201: ordinary, 16 words
 redoip: unnamed label
 redofr: non 201
 succip: unnamed label
 succfr: non 162
non 185: temp
 redoip: label UNKNOWN
 redofr: non 179
non 182: temp
 redoip: unnamed label
 redofr: non 179
non 179: ordinary, 17 words
 redoip: unnamed label
 redofr: non 179
 succip: unnamed label
 succfr: non 162
non 162: ordinary, 16 words
 redoip: unnamed label
 redofr: non 162
 succip: unnamed label
 succfr: non 123
non 146: temp
 redoip: label UNKNOWN
 redofr: non 140
non 143: temp
 redoip: unnamed label
 redofr: non 140
non 140: ordinary, 17 words
 redoip: unnamed label
 redofr: non 140
 succip: unnamed label
 succfr: non 123
non 123: ordinary, 16 words
 redoip: unnamed label
 redofr: non 123
 succip: unnamed label
 succfr: non  84
non 107: temp
 redoip: label UNKNOWN
 redofr: non 101
non 104: temp
 redoip: unnamed label
 redofr: non 101
non 101: ordinary, 17 words
 redoip: unnamed label
 redofr: non 101
 succip: unnamed label
 succfr: non  84
non  84: ordinary, 16 words
 redoip: unnamed label
 redofr: non  84
 succip: unnamed label
 succfr: non  45
non  68: temp
 redoip: label UNKNOWN
 redofr: non  62
non  65: temp
 redoip: unnamed label
 redofr: non  62
non  62: ordinary, 17 words
 redoip: unnamed label
 redofr: non  62
 succip: unnamed label
 succfr: non  45
non  45: ordinary, 16 words
 redoip: unnamed label
 redofr: non  45
 succip: unnamed label
 succfr: non  29
non  29: ordinary, 15 words
 redoip: unnamed label
 redofr: non  29
 succip: unnamed label
 succfr: non  10
non  14: temp
 redoip: unnamed label
 redofr: non  10
 detfr:  det  21
non  10: ordinary, 6 words
 redoip: label global_fail
 redofr: non  10
 succip: label wrapper_not_reached
 succfr: non   4
mdb> stack_regs
sp = det  31
curfr = non  29
maxfr = non 258
mdb> nondet_stack -d
non 258: temp
 redoip: label UNKNOWN
 redofr: non  45
non 255: temp
 redoip: label UNKNOWN
 redofr: non  84
non 252: temp
 redoip: label UNKNOWN
 redofr: non 123
non 249: temp
 redoip: label UNKNOWN
 redofr: non 162
non 246: temp
 redoip: label UNKNOWN
 redofr: non 201
non 243: temp
 redoip: label UNKNOWN
 redofr: non 240
non 240: ordinary, 16 words
 redoip: unnamed label
 redofr: non 240
 succip: unnamed label
 succfr: non 201
 top frame of a nondet side branch non 240
       HeadVar__1             []
       TypeInfo_for_T         int
non 224: temp
 redoip: label UNKNOWN
 redofr: non 218
non 221: temp
 redoip: unnamed label
 redofr: non 218
non 218: ordinary, 17 words
 redoip: unnamed label
 redofr: non 218
 succip: unnamed label
 succfr: non 201
 top frame of a nondet side branch non 218
       HeadVar__2             [5]
       TypeInfo_for_T         int
non 201: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non 201
 succip: unnamed label
 succfr: non 162
 internal frame on nondet side branch non 240
       HeadVar__1             [5]
       TypeInfo_for_T         int
       U                      5
       Z                      []
non 185: temp
 redoip: label UNKNOWN
 redofr: non 179
non 182: temp
 redoip: unnamed label
 redofr: non 179
non 179: ordinary, 17 words
 redoip: unnamed label
 redofr: non 179
 succip: unnamed label
 succfr: non 162
 top frame of a nondet side branch non 179
       HeadVar__2             [4, 5]
       TypeInfo_for_T         int
non 162: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non 162
 succip: unnamed label
 succfr: non 123
 internal frame on nondet side branch non 240
       HeadVar__1             [4, 5]
       TypeInfo_for_T         int
       U                      4
       Z                      [5]
non 146: temp
 redoip: label UNKNOWN
 redofr: non 140
non 143: temp
 redoip: unnamed label
 redofr: non 140
non 140: ordinary, 17 words
 redoip: unnamed label
 redofr: non 140
 succip: unnamed label
 succfr: non 123
 top frame of a nondet side branch non 140
       HeadVar__2             [3, 4, 5]
       TypeInfo_for_T         int
non 123: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non 123
 succip: unnamed label
 succfr: non  84
 internal frame on nondet side branch non 240
       HeadVar__1             [3, 4, 5]
       TypeInfo_for_T         int
       U                      3
       Z                      [4, 5]
non 107: temp
 redoip: label UNKNOWN
 redofr: non 101
non 104: temp
 redoip: unnamed label
 redofr: non 101
non 101: ordinary, 17 words
 redoip: unnamed label
 redofr: non 101
 succip: unnamed label
 succfr: non  84
 top frame of a nondet side branch non 101
       HeadVar__2             [2, 3, 4, 5]
       TypeInfo_for_T         int
non  84: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non  84
 succip: unnamed label
 succfr: non  45
 internal frame on nondet side branch non 240
       HeadVar__1             [2, 3, 4, 5]
       TypeInfo_for_T         int
       U                      2
       Z                      [3, 4, 5]
non  68: temp
 redoip: label UNKNOWN
 redofr: non  62
non  65: temp
 redoip: unnamed label
 redofr: non  62
non  62: ordinary, 17 words
 redoip: unnamed label
 redofr: non  62
 succip: unnamed label
 succfr: non  45
 top frame of a nondet side branch non  62
       HeadVar__2             [1, 2, 3, 4, 5]
       TypeInfo_for_T         int
non  45: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non  45
 succip: unnamed label
 succfr: non  29
 internal frame on nondet side branch non 240
       HeadVar__1             [1, 2, 3, 4, 5]
       TypeInfo_for_T         int
       U                      1
       Z                      [2, 3, 4, 5]
non  29: ordinary, 15 words, pred nondet_stack.queen/2-0 (nondet) <c3;>
 redoip: unnamed label
 redofr: non  29
 succip: unnamed label
 succfr: non  10
 on main nondet branch non  29
       Data (arg 1)           [1, 2, 3, 4, 5]
       Out (arg 2)            [1, 2, 3, 4, 5]
       TypeCtorInfo_5         int
non  14: temp
 redoip: unnamed label
 redofr: non  10
 detfr:  det  21
non  10: ordinary, 6 words
 redoip: label global_fail
 redofr: non  10
 succip: label wrapper_not_reached
 succfr: non   4
mdb> break nondet_stack__test
 0: + stop  interface pred nondet_stack.test/2-0 (nondet)
mdb> continue
      E4:     C4 CALL pred nondet_stack.test/2-0 (nondet)
mdb> nondet_stack
non 341: ordinary, 16 words
 redoip: unnamed label
 redofr: non 341
 succip: unnamed label
 succfr: non  10
non 325: temp
 redoip: unnamed label
 redofr: non  10
 detfr:  det  21
non 321: temp
 redoip: label UNKNOWN
 redofr: non  29
non 318: temp
 redoip: label UNKNOWN
 redofr: non  45
non 315: temp
 redoip: label UNKNOWN
 redofr: non  84
non 312: temp
 redoip: label UNKNOWN
 redofr: non 143
non 309: temp
 redoip: label UNKNOWN
 redofr: non 222
non 306: temp
 redoip: label UNKNOWN
 redofr: non 261
non 303: temp
 redoip: label UNKNOWN
 redofr: non 300
non 300: ordinary, 16 words
 redoip: unnamed label
 redofr: non 300
 succip: unnamed label
 succfr: non 261
non 284: temp
 redoip: label UNKNOWN
 redofr: non 278
non 281: temp
 redoip: unnamed label
 redofr: non 278
non 278: ordinary, 17 words
 redoip: unnamed label
 redofr: non 278
 succip: unnamed label
 succfr: non 261
non 261: ordinary, 16 words
 redoip: unnamed label
 redofr: non 261
 succip: unnamed label
 succfr: non 222
non 245: temp
 redoip: label UNKNOWN
 redofr: non 239
non 242: temp
 redoip: unnamed label
 redofr: non 239
non 239: ordinary, 17 words
 redoip: unnamed label
 redofr: non 239
 succip: unnamed label
 succfr: non 222
non 222: ordinary, 16 words
 redoip: unnamed label
 redofr: non 222
 succip: unnamed label
 succfr: non 143
non 206: temp
 redoip: label UNKNOWN
 redofr: non 160
non 203: temp
 redoip: label UNKNOWN
 redofr: non 177
non 200: temp
 redoip: label UNKNOWN
 redofr: non 194
non 197: temp
 redoip: unnamed label
 redofr: non 194
non 194: ordinary, 17 words
 redoip: unnamed label
 redofr: non 194
 succip: unnamed label
 succfr: non 177
non 177: ordinary, 17 words
 redoip: unnamed label
 redofr: non 177
 succip: unnamed label
 succfr: non 160
non 160: ordinary, 17 words
 redoip: unnamed label
 redofr: non 160
 succip: unnamed label
 succfr: non 143
non 143: ordinary, 16 words
 redoip: unnamed label
 redofr: non 143
 succip: unnamed label
 succfr: non  84
non 127: temp
 redoip: label UNKNOWN
 redofr: non 101
non 124: temp
 redoip: label UNKNOWN
 redofr: non 118
non 121: temp
 redoip: unnamed label
 redofr: non 118
non 118: ordinary, 17 words
 redoip: unnamed label
 redofr: non 118
 succip: unnamed label
 succfr: non 101
non 101: ordinary, 17 words
 redoip: unnamed label
 redofr: non 101
 succip: unnamed label
 succfr: non  84
non  84: ordinary, 16 words
 redoip: unnamed label
 redofr: non  84
 succip: unnamed label
 succfr: non  45
non  68: temp
 redoip: label UNKNOWN
 redofr: non  62
non  65: temp
 redoip: unnamed label
 redofr: non  62
non  62: ordinary, 17 words
 redoip: unnamed label
 redofr: non  62
 succip: unnamed label
 succfr: non  45
non  45: ordinary, 16 words
 redoip: unnamed label
 redofr: non  45
 succip: unnamed label
 succfr: non  29
non  29: ordinary, 15 words
 redoip: unnamed label
 redofr: non  29
 succip: unnamed label
 succfr: non  10
non  14: temp
 redoip: unnamed label
 redofr: non  10
 detfr:  det  21
non  10: ordinary, 6 words
 redoip: label global_fail
 redofr: non  10
 succip: label wrapper_not_reached
 succfr: non   4
mdb> stack_regs
sp = det  21
curfr = non 341
maxfr = non 341
mdb> nondet_stack -d
non 341: ordinary, 16 words, pred nondet_stack.test/2-0 (nondet) <>
 redoip: unnamed label
 redofr: non 341
 succip: unnamed label
 succfr: non  10
 on main nondet branch non 341
       HeadVar__1             [1, 3, 5, 2, 4]
non 325: temp
 redoip: unnamed label
 redofr: non  10
 detfr:  det  21
non 321: temp
 redoip: label UNKNOWN
 redofr: non  29
non 318: temp
 redoip: label UNKNOWN
 redofr: non  45
non 315: temp
 redoip: label UNKNOWN
 redofr: non  84
non 312: temp
 redoip: label UNKNOWN
 redofr: non 143
non 309: temp
 redoip: label UNKNOWN
 redofr: non 222
non 306: temp
 redoip: label UNKNOWN
 redofr: non 261
non 303: temp
 redoip: label UNKNOWN
 redofr: non 300
non 300: ordinary, 16 words
 redoip: unnamed label
 redofr: non 300
 succip: unnamed label
 succfr: non 261
 top frame of a nondet side branch non 300
       HeadVar__1             []
       TypeInfo_for_T         int
non 284: temp
 redoip: label UNKNOWN
 redofr: non 278
non 281: temp
 redoip: unnamed label
 redofr: non 278
non 278: ordinary, 17 words
 redoip: unnamed label
 redofr: non 278
 succip: unnamed label
 succfr: non 261
 top frame of a nondet side branch non 278
       HeadVar__2             [4]
       TypeInfo_for_T         int
non 261: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non 261
 succip: unnamed label
 succfr: non 222
 internal frame on nondet side branch non 300
       HeadVar__1             [4]
       TypeInfo_for_T         int
       U                      4
       Z                      []
non 245: temp
 redoip: label UNKNOWN
 redofr: non 239
non 242: temp
 redoip: unnamed label
 redofr: non 239
non 239: ordinary, 17 words
 redoip: unnamed label
 redofr: non 239
 succip: unnamed label
 succfr: non 222
 top frame of a nondet side branch non 239
       HeadVar__2             [2, 4]
       TypeInfo_for_T         int
non 222: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non 222
 succip: unnamed label
 succfr: non 143
 internal frame on nondet side branch non 300
       HeadVar__1             [2, 4]
       TypeInfo_for_T         int
       U                      2
       Z                      [4]
non 206: temp
 redoip: label UNKNOWN
 redofr: non 160
non 203: temp
 redoip: label UNKNOWN
 redofr: non 177
non 200: temp
 redoip: label UNKNOWN
 redofr: non 194
non 197: temp
 redoip: unnamed label
 redofr: non 194
non 194: ordinary, 17 words
 redoip: unnamed label
 redofr: non 194
 succip: unnamed label
 succfr: non 177
 top frame of a nondet side branch non 194
       HeadVar__2             [5]
       TypeInfo_for_T         int
non 177: ordinary, 17 words, pred nondet_stack.qdelete/3-0 (nondet) <c2;d2;c3;>
 redoip: unnamed label
 redofr: non 177
 succip: unnamed label
 succfr: non 160
 internal frame on nondet side branch non 194
       HeadVar__2             [4, 5]
       A                      4
       TypeInfo_for_T         int
       Z                      [5]
non 160: ordinary, 17 words, pred nondet_stack.qdelete/3-0 (nondet) <c2;d2;c3;>
 redoip: unnamed label
 redofr: non 160
 succip: unnamed label
 succfr: non 143
 internal frame on nondet side branch non 194
       HeadVar__2             [2, 4, 5]
       A                      2
       TypeInfo_for_T         int
       Z                      [4, 5]
non 143: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non 143
 succip: unnamed label
 succfr: non  84
 internal frame on nondet side branch non 300
       HeadVar__1             [2, 4, 5]
       TypeInfo_for_T         int
       U                      5
       Z                      [2, 4]
non 127: temp
 redoip: label UNKNOWN
 redofr: non 101
non 124: temp
 redoip: label UNKNOWN
 redofr: non 118
non 121: temp
 redoip: unnamed label
 redofr: non 118
non 118: ordinary, 17 words
 redoip: unnamed label
 redofr: non 118
 succip: unnamed label
 succfr: non 101
 top frame of a nondet side branch non 118
       HeadVar__2             [3, 4, 5]
       TypeInfo_for_T         int
non 101: ordinary, 17 words, pred nondet_stack.qdelete/3-0 (nondet) <c2;d2;c3;>
 redoip: unnamed label
 redofr: non 101
 succip: unnamed label
 succfr: non  84
 internal frame on nondet side branch non 118
       HeadVar__2             [2, 3, 4, 5]
       A                      2
       TypeInfo_for_T         int
       Z                      [3, 4, 5]
non  84: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non  84
 succip: unnamed label
 succfr: non  45
 internal frame on nondet side branch non 300
       HeadVar__1             [2, 3, 4, 5]
       TypeInfo_for_T         int
       U                      3
       Z                      [2, 4, 5]
non  68: temp
 redoip: label UNKNOWN
 redofr: non  62
non  65: temp
 redoip: unnamed label
 redofr: non  62
non  62: ordinary, 17 words
 redoip: unnamed label
 redofr: non  62
 succip: unnamed label
 succfr: non  45
 top frame of a nondet side branch non  62
       HeadVar__2             [1, 2, 3, 4, 5]
       TypeInfo_for_T         int
non  45: ordinary, 16 words, pred nondet_stack.qperm/2-0 (nondet) <s2-2;c2;>
 redoip: unnamed label
 redofr: non  45
 succip: unnamed label
 succfr: non  29
 internal frame on nondet side branch non 300
       HeadVar__1             [1, 2, 3, 4, 5]
       TypeInfo_for_T         int
       U                      1
       Z                      [2, 3, 4, 5]
non  29: ordinary, 15 words, pred nondet_stack.queen/2-0 (nondet) <c2;>
 redoip: unnamed label
 redofr: non  29
 succip: unnamed label
 succfr: non  10
 internal frame on nondet side branch non 300
       Data (arg 1)           [1, 2, 3, 4, 5]
       TypeCtorInfo_5         int
non  14: temp
 redoip: unnamed label
 redofr: non  10
 detfr:  det  21
non  10: ordinary, 6 words
 redoip: label global_fail
 redofr: non  10
 succip: label wrapper_not_reached
 succfr: non   4
mdb> continue -S
[2, 5, 3, 1, 4]