BEGIN DEBUG SESSION
loop = 36
-
depth = 0
-
x = ((first 7) (second 42))
-
y = 24
-
loop = 24
-
depth = 1
-
x = ((first 41) (second 9))
-
y = 25
-
loop = 25
-
depth = 2
-
x = ((first 8) (second 43))
-
loop = 25
-
depth = 3
-
x = ((first 44) (second 4))
-
loop = 25
-
depth = 4
-
x = ((first 5) (second 22))
-
loop = 25
- "test/test_debug_md.ml":34:24
depth = 5
x = ((first 23) (second 2))
-
z = 17
-
loop = 17
-
depth = 2
-
x = ((first 10) (second 25))
-
loop = 17
-
depth = 3
-
x = ((first 26) (second 5))
-
loop = 17
-
depth = 4
-
x = ((first 6) (second 13))
-
loop = 17
- "test/test_debug_md.ml":34:24
depth = 5
x = ((first 14) (second 3))
-
z = 29
-
loop = 29
-
depth = 1
-
x = ((first 43) (second 24))
-
y = 30
-
loop = 30
-
depth = 2
-
x = ((first 23) (second 45))
-
loop = 30
-
depth = 3
-
x = ((first 46) (second 11))
-
loop = 30
-
depth = 4
-
x = ((first 12) (second 23))
-
loop = 30
- "test/test_debug_md.ml":34:24
depth = 5
x = ((first 24) (second 6))
-
z = 22
-
loop = 22
-
depth = 2
-
x = ((first 25) (second 30))
-
loop = 22
-
depth = 3
-
x = ((first 31) (second 12))
-
loop = 22
-
depth = 4
-
x = ((first 13) (second 15))
-
loop = 22
- "test/test_debug_md.ml":34:24
depth = 5
x = ((first 16) (second 6))