ipfw_state_max_set
ipfw_state_max_set(state_max);
ipfw_state_max_set(dyn_max / 2);
ipfw_state_max_set(ipfw_state_max);