{"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"let"}]}
        let num_elements = vector_type.get_num_units();
        let vector_type = vector_ty.unqualified().dyncast_vector().expect("vector type");