verify_mic
val = verify_mic(c2, hc2, &msg, &mic);
SYM(verify_mic);
int require_mic, verify_mic;
verify_mic = 1;
*get_mic = verify_mic = 1;
verify_mic = 0;
if (verify_mic || *get_mic) {
if (verify_mic) {
SYM(verify_mic);