Using boost::asio::async_write and boost::process::async_pipe to write to a child process's stdin multiple times

Question

I am using boost::process::async_pipe to write the STDIN of a process that I launch using boost::process::child. Assume my server program looks something like this:

(