function twopence_trace {
	echo "++ $@"
}

function twopence_exec {
	twopence_trace "$@"
	"$@"
}
