NP debugging