FILE_STREAM
fflush(FILE_STREAM(channel));
FILE_STREAM(channel) = destination->file.stream;
fprintf(FILE_STREAM(channel),