use DebugLint encoder