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);