{"ast_node_type":"variable","tokens":[{"end":95,"kind":"keyword","start":0,"text":"let"}]}
        let vector_type = cond.get_type().unqualified().dyncast_vector().expect("vector type");
        // cond is a vector of integers, not of bools.
        let num_units = vector_type.get_num_units();