debugging carmen/waldo