Symbol: ike_ps_t