void enable_interrupts();
void disable_interrupts();