Making progress on debugging