debugging of xde-watch