1Regression test for the ARM backend, which used to have a bug
2handling branches fallthrough.
3