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