/* Increment the read sequence number (as a 64 bit endian indepenent #)  */
static void ICACHE_FLASH_ATTR increment_write_sequence(SSL *ssl)
/* Increment the read sequence number (as a 64 bit endian indepenent #)  */
static void ICACHE_FLASH_ATTR increment_write_sequence(SSL *ssl)
{        
    int i;                  
    for (i = 7; i >= 0; i--)
    {                       
        if (++ssl->write_sequence[i])
            break;
    }                       
}