1This tests that an int branch with valid arguments is properly translated. 2(Regression test.) 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