debugging VCTSM