debugging Danthes