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