Functional debugging