HOST_NAME_MAX     103 src/dps8/shm.c # if !defined(HOST_NAME_MAX)
HOST_NAME_MAX     123 src/dps8/shm.c   char sthostname[HOST_NAME_MAX + 1];
HOST_NAME_MAX     124 src/dps8/shm.c   char shostname[HOST_NAME_MAX * 2];
HOST_NAME_MAX     188 src/dps8/shm.c   int hrc = gethostname(sthostname, HOST_NAME_MAX + 1);