ipsecctl_print_port
ipsecctl_print_port(r->sport,
ipsecctl_print_port(r->dport,
void ipsecctl_print_port(u_int16_t, const char *);