debugging NP