#!/bin/sh
v "$@" ; echo >&2