add do1-do7 di1 procfs

hc

2023-10-12 3124110e504ba82e43686669ed7188bcdbe72744

1
2
3
/* This header is used on many systems but for GNU we have everything
   already defined in the standard header.  */
#include <sys/socket.h>