{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"pub(super)"}]}
    pub(super) bitmap_idx: usize,
    pub(super) end_bcbs: BTreeSet<BasicCoverageBlock>,
    pub(super) num_test_vectors: usize,