#!/bin/sh
# WARNING: This file was auto-generated. Do not edit!
echo "GET /${2-} HTTP/1.0
Host: ${1-0}:${3-80}
" | /pobj/ucspi-tcp-0.88/fake-i386/usr/local/bin/tcpclient -RHl0 -- "${1-0}" "${3-80}" sh -c '
  /pobj/ucspi-tcp-0.88/fake-i386/usr/local/bin/addcr >&7
  exec /pobj/ucspi-tcp-0.88/fake-i386/usr/local/bin/delcr <&6
' | awk '/^$/ { body=1; next } { if (body) print }'
