documented debugging