documenting debugging