Add get_printable_location.
Document (slightly) and sanitise the flow of main().
Reorder the way instructions are accessed.

This leads to significantly smaller traces, although it makes only a small
performance gain. The code is no more complex, though.