debugging with lint