d_header 1835 source/dumsockc.c void d_header(char *mname) d_header 3287 source/sockc.c void d_header(char *mname)