void __set_APSR(unsigned val);
__set_APSR sets the value of the APSR i.e. the condition bits and the GE bits.