CTL_DEFAULT_MAX_PORTS
ctl_max_ports, CTL_DEFAULT_MAX_PORTS);
ctl_max_ports = CTL_DEFAULT_MAX_PORTS;
static int ctl_max_ports = CTL_DEFAULT_MAX_PORTS;