HOST_NAME_MAX     112 src/dps8/shm.c # if !defined(HOST_NAME_MAX)
HOST_NAME_MAX     132 src/dps8/shm.c   char sthostname[HOST_NAME_MAX + 1];
HOST_NAME_MAX     133 src/dps8/shm.c   char shostname[HOST_NAME_MAX * 2];
HOST_NAME_MAX     203 src/dps8/shm.c   int hrc = gethostname(sthostname, HOST_NAME_MAX + 1);