- sanity checks
- SANITY CHECK (https://cs.android.com/android/platform/superproject/main/+/main:art/libdexfile/dex/dex_file_verifier.cc if check failed, .dex is not loaded but apk do not crash !!!)
- V41 https://cs.android.com/android/platform/superproject/main/+/main:art/libdexfile/dex/dex_file_verifier.cc;drc=e8da7cd1d0e7d3535c82f8d05adcef3edd43cd40;l=634
- tests
- https://source.android.com/docs/core/runtime/dex-format#system-annotation
- goto size computation
- no nop when no payload
- option to get label at every code addresses
- name register / parameters
- ord in python

if (FALSE):
  invoke-method()
else:
  method.invoke()
