Is there a sane way to kill a pipe's head from within the pipe's tail, at least on tail exit? Of course, when the tail exits, the head will get SIGPIPE as soon as it tries to output something, but can the tail explicitly kill it earlier?