write_string_stream 58 src/shared/fileio.c return write_string_stream(f, line); write_string_stream 80 src/shared/fileio.c return write_string_stream(f, line); write_string_stream 71 src/sleep/sleep.c k = write_string_stream(*f, *state);