void interrupt_init (void)
{

IRQ_enable(IRQ_EVT_TINT1);

IRQ_test(IRQ_EVT_TINT1);

IRQ_nmiEnable();

IRQ_enable(IRQ_EVT_TINT1);

/* Enables the timer interrupt */

}