Translator: debug counts