#!/bin/sh
#
# Prints all arguments to stderr
#
echo "$@" >&2
