Write_Channel_Os_Specific

What the writer keeps for the operating system: the file descriptor of the shared-memory object on Unix targets, the mapping handle on Windows. Only writer_disconnect should close it.