ike_phase_1_post_exchange_KE_NONCE
if (ike_phase_1_post_exchange_KE_NONCE(msg))
(void (*)(struct message *))ike_phase_1_post_exchange_KE_NONCE);
return ike_phase_1_post_exchange_KE_NONCE(msg);
extern int ike_phase_1_post_exchange_KE_NONCE(struct message *);