Counter in file 0 14:1 -> 15:27, #1
Counter in file 0 16:11 -> 16:24, (#1 + (#2 + #3))
Counter in file 0 17:12 -> 17:25, ((#1 + (#2 + #3)) - #4)
Counter in file 0 17:26 -> 19:10, #5
Counter in file 0 19:10 -> 19:11, (((#1 + (#2 + #3)) - #4) - #5)
Counter in file 0 21:12 -> 21:25, (#5 + (((#1 + (#2 + #3)) - #4) - #5))
Counter in file 0 21:26 -> 21:49, #6
Counter in file 0 21:49 -> 21:50, ((#5 + (((#1 + (#2 + #3)) - #4) - #5)) - #6)
Counter in file 0 25:12 -> 25:25, (#6 + ((#5 + (((#1 + (#2 + #3)) - #4) - #5)) - #6))
Counter in file 0 25:26 -> 25:49, #2
Counter in file 0 25:49 -> 25:50, #3
Counter in file 0 26:9 -> 26:23, (#2 + #3)
Counter in file 0 28:5 -> 29:2, #4
Counter in file 0 5:1 -> 5:36, #1
Counter in file 0 6:8 -> 6:20, (#1 + 0)
Counter in file 0 7:9 -> 8:37, #2
Counter in file 0 9:12 -> 12:2, (#1 - #2)
Emitting segments for file: ../coverage/abort.rs
Combined regions:
  5:1 -> 5:36 (count=12)
  6:8 -> 6:20 (count=12)
  7:9 -> 8:37 (count=0)
  9:12 -> 12:2 (count=12)
  14:1 -> 15:27 (count=1)
  16:11 -> 16:24 (count=11)
  17:12 -> 17:25 (count=10)
  17:26 -> 19:10 (count=4)
  19:10 -> 19:11 (count=6)
  21:12 -> 21:25 (count=10)
  21:26 -> 21:49 (count=4)
  21:49 -> 21:50 (count=6)
  25:12 -> 25:25 (count=10)
  25:26 -> 25:49 (count=4)
  25:49 -> 25:50 (count=6)
  26:9 -> 26:23 (count=10)
  28:5 -> 29:2 (count=1)
Segment at 5:1 (count = 12), RegionEntry
Segment at 5:36 (count = 0), Skipped
Segment at 6:8 (count = 12), RegionEntry
Segment at 6:20 (count = 0), Skipped
Segment at 7:9 (count = 0), RegionEntry
Segment at 8:37 (count = 0), Skipped
Segment at 9:12 (count = 12), RegionEntry
Segment at 12:2 (count = 0), Skipped
Segment at 14:1 (count = 1), RegionEntry
Segment at 15:27 (count = 0), Skipped
Segment at 16:11 (count = 11), RegionEntry
Segment at 16:24 (count = 0), Skipped
Segment at 17:12 (count = 10), RegionEntry
Segment at 17:25 (count = 0), Skipped
Segment at 17:26 (count = 4), RegionEntry
Segment at 19:10 (count = 6), RegionEntry
Segment at 19:11 (count = 0), Skipped
Segment at 21:12 (count = 10), RegionEntry
Segment at 21:25 (count = 0), Skipped
Segment at 21:26 (count = 4), RegionEntry
Segment at 21:49 (count = 6), RegionEntry
Segment at 21:50 (count = 0), Skipped
Segment at 25:12 (count = 10), RegionEntry
Segment at 25:25 (count = 0), Skipped
Segment at 25:26 (count = 4), RegionEntry
Segment at 25:49 (count = 6), RegionEntry
Segment at 25:50 (count = 0), Skipped
Segment at 26:9 (count = 10), RegionEntry
Segment at 26:23 (count = 0), Skipped
Segment at 28:5 (count = 1), RegionEntry
Segment at 29:2 (count = 0), Skipped
