debugging for simon