collect_coverage: output same JSON format as VM.