[mbed-tls] Re: Example of AEAD decrypt?