{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"bx.extract_element(byte_vector,"}]}
                    bx.extract_element(byte_vector, index)
                    let index = bx.context.new_rvalue_from_long(bx.u64_type, i as _);
                })