{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"bucket_idx:"}]}
    bucket_idx: usize,
    // the index of the bucket in VecCache (0 to 20)
    // number of entries in that bucket