1This is a smoke test of dex conversion, which checks to see that
2when a known value of category-2 gets merged during control
3flow analysis, things don't break.
4
5This test compares emitted code against a known-good (via eyeballing)
6version, so it is possible for this test to spuriously fail if other
7aspects of conversion end up altering the output in innocuous ways.
8