s_ipsecdoi_proto
prop->p_no, s_ipsecdoi_proto(prop->proto_id),
s_ipsecdoi_proto(proto),
s_ipsecdoi_proto(delete->proto_id));
s_ipsecdoi_proto(doi_proto),
s_ipsecdoi_proto(pr2->proto_id),
s_ipsecdoi_proto(pr1->proto_id));
s_ipsecdoi_proto(t->prop->proto_id),
s_ipsecdoi_proto(pr->proto_id),
extern const char *s_ipsecdoi_proto(int);