{
 printf '%s %s HTTP/0.1\nHost: %s\n' "$1" "$3" "$2"
 (( $# > 3 )) && printf %s\\n "${@:4}"
 printf \\n
} >&7

<&6 gawk '{ if ( x ) print ; else if ( ! length ) x++ ; else print >"/dev/stderr" }'