BIGN_VERIFY_MAGIC
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == BIGN_VERIFY_MAGIC), ret, err)
ctx->verify_data.bign.magic = BIGN_VERIFY_MAGIC;