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 */
    }