- sanity checks
- tests
- https://source.android.com/docs/core/runtime/dex-format#system-annotation
- goto size computation
- no nop when no payload
- code items need a "fragment" repr
- option to get label at every code addresses
- name register / parameters
