extern void Update_IO();
extern void handle_IO_write (mem_addr addr, mem_word value, int size);
extern void handle_IO_read(mem_addr addr, mem_word *dest, int size);