void flash_write(unsigned char * address, unsigned char value){
*FLASH_05555 = 0xAA;
*FLASH_02AAA = 0x55;
*FLASH_05555 = 0xA0;
*address = value;
/* VERIFY */
flash_ready(address, value);
if (*address != value)
error(ERR_FLASH_FAILURE); /* FATAL */
}
}