Would be nice if `curl` had something to dump headers to a third file descriptor while outputting the response on stdout.
curl --dump-header /dev/fd/xxx https://google.com
mkfifo headers.out
curl --dump-header headers.out https://google.com