{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"bx.context.new_rvalue_vector_perm(None,"}]}
            bx.context.new_rvalue_vector_perm(None, byte_vector, byte_vector, mask)
            let mask = bx.context.new_rvalue_from_vector(None, byte_vector_type, &indices);
        };