new vcgenerator can now produce verbose output