debugging Carmen and Waldo