michael@0: {
michael@0:   "windows": // invalid json
michael@0: }