debug tuxedo