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