HOST_NAME_MAX     114 src/dps8/shm.c # if !defined(HOST_NAME_MAX)
HOST_NAME_MAX     134 src/dps8/shm.c   char sthostname[HOST_NAME_MAX + 1];
HOST_NAME_MAX     135 src/dps8/shm.c   char shostname[HOST_NAME_MAX * 2];
HOST_NAME_MAX     205 src/dps8/shm.c   int hrc = gethostname(sthostname, HOST_NAME_MAX + 1);