# This function shell-dequotes the argument
_dequote()
{
	eval echo "$1"
}

