put_vanilla_header
if (!put_vanilla_header(h, p, mci))
static bool put_vanilla_header __P((HDR *, char *, MCI *));