Put the Debugging section into latex