Hola Suky, la función que usa Return y me estaba estropeando "el dudoso equilibrio de un programa que trabaja con interrupciones" es llamada desde el main.
Y a modo de anécdota, por lo que he podido observar, las interrupciones "Globales" en CCS controlan los bits GIE y PEIE, y estas son controladas magníficamente por el compilador C de CCS.
Y como comentario personal, demasiado control para el compilador y poco control para el programador.