| Function name: no_core::main | |
| Raw bytes (9): 0x[01, 01, 00, 01, 01, 0c, 01, 00, 0d] | |
| Number of files: 1 | |
| - file 0 => global file 1 | |
| Number of expressions: 0 | |
| Number of file 0 mappings: 1 | |
| - Code(Counter(0)) at (prev + 12, 1) to (start + 0, 13) | |
| Highest counter ID seen: c0 | |