#include <pic.h> 

void setup_interrupts() {
   GIE      =  0;
   PEIE     =  0;
}