|  | Function name: assert_ne::main | 
|  | Raw bytes (55): 0x[01, 01, 03, 01, 05, 01, 09, 01, 09, 09, 01, 08, 01, 00, 0a, 01, 01, 05, 00, 0f, 01, 01, 09, 00, 12, 01, 00, 13, 00, 19, 01, 01, 0c, 00, 15, 05, 01, 0d, 00, 13, 02, 02, 0d, 00, 13, 0a, 03, 05, 00, 07, 0a, 01, 01, 00, 02] | 
|  | Number of files: 1 | 
|  | - file 0 => $DIR/assert-ne.rs | 
|  | Number of expressions: 3 | 
|  | - expression 0 operands: lhs = Counter(0), rhs = Counter(1) | 
|  | - expression 1 operands: lhs = Counter(0), rhs = Counter(2) | 
|  | - expression 2 operands: lhs = Counter(0), rhs = Counter(2) | 
|  | Number of file 0 mappings: 9 | 
|  | - Code(Counter(0)) at (prev + 8, 1) to (start + 0, 10) | 
|  | - Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15) | 
|  | - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 18) | 
|  | - Code(Counter(0)) at (prev + 0, 19) to (start + 0, 25) | 
|  | - Code(Counter(0)) at (prev + 1, 12) to (start + 0, 21) | 
|  | - Code(Counter(1)) at (prev + 1, 13) to (start + 0, 19) | 
|  | - Code(Expression(0, Sub)) at (prev + 2, 13) to (start + 0, 19) | 
|  | = (c0 - c1) | 
|  | - Code(Expression(2, Sub)) at (prev + 3, 5) to (start + 0, 7) | 
|  | = (c0 - c2) | 
|  | - Code(Expression(2, Sub)) at (prev + 1, 1) to (start + 0, 2) | 
|  | = (c0 - c2) | 
|  | Highest counter ID seen: c1 | 
|  |  |