HOST_NAME_MAX     106 src/dps8/shm.c # if !defined(HOST_NAME_MAX)
HOST_NAME_MAX     126 src/dps8/shm.c   char sthostname[HOST_NAME_MAX + 1];
HOST_NAME_MAX     127 src/dps8/shm.c   char shostname[HOST_NAME_MAX * 2];
HOST_NAME_MAX     197 src/dps8/shm.c   int hrc = gethostname(sthostname, HOST_NAME_MAX + 1);