1This is a smoke test of dex conversion, which makes sure that a couple
2cases of (potentially) infinite loops translate reasonably.
3
4This test compares emitted code against a known-good (via eyeballing)
5version, so it is possible for this test to spuriously fail if other
6aspects of conversion end up altering the output in innocuous ways.
7