#!/usr/bin/env python3

import sys
import json

dec = json.JSONDecoder()
data, pos = dec.raw_decode(sys.stdin.read())
json.dump(data, sys.stdout, indent=2, separators=(',', ': '))
print("\n")

@@ -184,9 +184,7 @@
 nt(%22
-%5Cn
 %22)%0A

Make sure generated files pass syntax-check