extern void irq_enable(byte a);
extern void irq_disable(byte a);