ARM.inc needs to be ARCH-specific