STDIN_PIPE

create a pipe for the stdin of the spawned process that can be accessed with get_stdin_pipe.