ossl_cmp_msg_gen_push0_ITAV
int ossl_cmp_msg_gen_push0_ITAV(OSSL_CMP_MSG *msg, OSSL_CMP_ITAV *itav);
|| !ossl_cmp_msg_gen_push0_ITAV(msg, itav)) {