VERIFY_SW
if (reqctx->verify == VERIFY_SW) {
aeadctx->mayverify = VERIFY_SW;
if (aeadctx->mayverify == VERIFY_SW) {
reqctx->verify = VERIFY_SW;