For pretty-printing it's probably best to keep the flash structure operating on target words so the asm can be displayed as it went into the compiler, i.e. with symbolic names. This would also allow anotating of address -> containing word. Ok, done. A little fidgeting though due to representation of chains/words.