{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"bx.context.new_vector_type(mask_element_type,"}]}
            bx.context.new_vector_type(mask_element_type, arg1_vector_type.get_num_units() as u64);
        let vector_mask_type =