void interrupt_init();