Alternate formats-- so here's your first one, .vdex.
You may find, instead of the .art, the .dex,
or the ahead of time, you have these .vdex files.
If you find them, go out to this vdexExtractor.
Use that.
It is going to take .vdex and turn it into byte code that we
can actually look at.