Symbol: SMT_COND_SMT_PEER_WRAP