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