COMP: debugging