[
{
"class": "circt.test",
"info": "a CircuitName Annotation",
"target": "test_mod"
},
"info": "a ModuleName Annotation",
"target": "test_mod.test_mod"
}
]