void read_header(FILE *f, MIME_header *header, char *stopline);