1This is a smoke test of dex conversion, which checks to see that
2an edge case of instruction format 35c works, where a reference
3is made to register 15 as a category-2 value, meaning that
4the instruction has to be rewritten to use a different format.
5
6This test compares emitted code against a known-good (via eyeballing)
7version, so it is possible for this test to spuriously fail if other
8aspects of conversion end up altering the output in innocuous ways.
9