I'm not really familiar with ARM, so please pardon my ignorance, but: Is this actually needed? What kind of code would be specific to Thumb, but work on both versions?