# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
+[[ $EUID == 0 ]] || exec sudo -E "${BASH_SOURCE[0]}" "$@"
x="$(readlink -f "$BASH_SOURCE")"; source "${x%/*}/bash-trace"
e() { printf "$pre %s\n" "$*"; }
err() { echo "[$(date +'%Y-%m-%d %H:%M:%S%z')]: $pre: $*" >&2; }
+PATH="/a/exe:$PATH"
+
##### begin command line parsing ########
dhcp=true