big progress in debugging