Talk on Ritz Debugger at conj 2012