More notes on debugging