VXC_NAMESPACE.