debugging verification