{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"bx.extract_element(cast_result,"}]}
                    bx.extract_element(cast_result, idx)
                    let idx = bx.context.new_rvalue_from_int(bx.u32_type, i as _);
                })