huh               324 src/dps8/dps8_socket_dev.c     char huh [256];
huh               325 src/dps8/dps8_socket_dev.c     (void)sprintf (huh, "E%d", _errno);
huh               326 src/dps8/dps8_socket_dev.c     huh[8] = 0;
huh               327 src/dps8/dps8_socket_dev.c     set_error_str (error_str, huh);