ipfw_list
void ipfw_list(int ac, char *av[], int show_counters);
ipfw_list(ac, av, do_acct);
ipfw_list(ac, av, 1 /* show counters */);