HOST_NAME_MAX     111 src/dps8/shm.c # ifndef HOST_NAME_MAX
HOST_NAME_MAX     131 src/dps8/shm.c   char sthostname[HOST_NAME_MAX + 1];
HOST_NAME_MAX     132 src/dps8/shm.c   char shostname[HOST_NAME_MAX * 2];
HOST_NAME_MAX     209 src/dps8/shm.c   int hrc = gethostname(sthostname, HOST_NAME_MAX + 1);