int collect_detailed_interface_stats_flag = 0;
void
-collect_detailed_interface_stats_flag_set ()
+collect_detailed_interface_stats_flag_set (void)
{
collect_detailed_interface_stats_flag = 1;
}
void
-collect_detailed_interface_stats_flag_clear ()
+collect_detailed_interface_stats_flag_clear (void)
{
collect_detailed_interface_stats_flag = 0;
}