| Function name: issue_83601::main |
| Raw bytes (74): 0x[01, 01, 00, 0e, 01, 06, 01, 00, 0a, 01, 01, 09, 00, 0c, 01, 00, 0f, 00, 15, 01, 01, 05, 00, 0f, 01, 01, 09, 00, 0c, 01, 00, 0f, 00, 15, 01, 01, 05, 00, 0f, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 14, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 14, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 14, 01, 01, 01, 00, 02] |
| - file 0 => $DIR/issue-83601.rs |
| Number of file 0 mappings: 14 |
| - Code(Counter(0)) at (prev + 6, 1) to (start + 0, 10) |
| - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 12) |
| - Code(Counter(0)) at (prev + 0, 15) to (start + 0, 21) |
| - Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15) |
| - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 12) |
| - Code(Counter(0)) at (prev + 0, 15) to (start + 0, 21) |
| - Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15) |
| - Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13) |
| - Code(Counter(0)) at (prev + 0, 14) to (start + 0, 20) |
| - Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13) |
| - Code(Counter(0)) at (prev + 0, 14) to (start + 0, 20) |
| - Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13) |
| - Code(Counter(0)) at (prev + 0, 14) to (start + 0, 20) |
| - Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2) |
| Highest counter ID seen: c0 |
