Symbol: check_trns_isakmp