Debugs for checkers