#!/bin/bash
# log: echo a command to stderr
# TODO could escape, as with v- ?

log() {
	printf "%s\n" "$*" >&2
}

if [ "$0" = "$BASH_SOURCE" ]; then
	log "$@"
fi