static void dump_and_abort PROTO((int, int, FILE *)) ATTRIBUTE_NORETURN;
static void read_name PROTO((char *, FILE *));
+static const char *trim_filename PROTO((const char *));
\f
/* Allocate an rtx vector of N elements.
Store the length, and initialize all elements to zero. */