sysctl_ipfw_table_num
static int sysctl_ipfw_table_num(SYSCTL_HANDLER_ARGS);
0, 0, sysctl_ipfw_table_num, "IU",