buffer_size_wds  1191 src/dps8/dps8_socket_dev.c     uint buffer_size_wds = (count + 3) / 4;
buffer_size_wds  1192 src/dps8/dps8_socket_dev.c     word36 buffer [buffer_size_wds];
buffer_size_wds  1194 src/dps8/dps8_socket_dev.c     memset (buffer, 0, sizeof (word36) * buffer_size_wds);