{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"bx.extract_element(vector,"}]}
                bx.extract_element(vector, bx.context.new_rvalue_from_int(bx.int_type, i as i32));
            let elem =
            let shifted = elem >> sign_shift;