{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"VirtualCounter"}]}
            VirtualCounter { bcb } => write!(fmt, "VirtualCounter({bcb:?})"),
            BlockMarker { id } => write!(fmt, "BlockMarker({:?})", id.index()),
            CondBitmapUpdate { index, decision_depth } => {