{"$DIR/json.rs":{"total":17,"with_docs":12,"total_examples":10,"with_examples":1}}