{"ast_node_type":"variable","tokens":[{"end":58,"kind":"keyword","start":0,"text":"let"}]}
        let element_type = vector_type.get_element_type();
        let vector_type = v1.get_type().unqualified().dyncast_vector().expect("vector type");
        let vec_num_units = vector_type.get_num_units();