Debugged encoding