ANSI C streaming JSON formatter