int main(void) void IRQ4(void)__attribute__((ISR)); void IRQ4(void) *P_TimerA_Ctrl=0x0174; *P_TimerA_Data= 0xfff0; *P_TimerB_Data= 0x0000;