michael@0: {
michael@0:   "expect-hazards": 0
michael@0: }