-static void dump_file PARAMS ((const char *));
-static void print_prefix PARAMS ((const char *, unsigned, gcov_position_t));
-static void print_usage PARAMS ((void));
-static void print_version PARAMS ((void));
-static void tag_function PARAMS ((const char *, unsigned, unsigned));
-static void tag_blocks PARAMS ((const char *, unsigned, unsigned));
-static void tag_arcs PARAMS ((const char *, unsigned, unsigned));
-static void tag_lines PARAMS ((const char *, unsigned, unsigned));
-static void tag_counters PARAMS ((const char *, unsigned, unsigned));
-static void tag_summary PARAMS ((const char *, unsigned, unsigned));
-extern int main PARAMS ((int, char **));
+static void dump_file (const char *);
+static void print_prefix (const char *, unsigned, gcov_position_t);
+static void print_usage (void);
+static void print_version (void);
+static void tag_function (const char *, unsigned, unsigned);
+static void tag_blocks (const char *, unsigned, unsigned);
+static void tag_arcs (const char *, unsigned, unsigned);
+static void tag_lines (const char *, unsigned, unsigned);
+static void tag_counters (const char *, unsigned, unsigned);
+static void tag_summary (const char *, unsigned, unsigned);
+extern int main (int, char **);