print_header
print_header(file1, file2);
static void print_header(const char *, const char *);
print_header(inp);
print_header(inp);
print_header(inp);
static void print_header(struct input_file *);
static void print_header(definition *);
print_header(def);