Added experimentation with HMAC_... (the implementation is failing, to be fixed)