Code for GCC:

// prototype
void __attribute__((interrupt))timer3Hdl(void):
// function
void __attribute__((interrupt))timer3Hdl(void){...}