{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"bx.extract_element(value,"}]}
            bx.extract_element(value, bx.const_usize(0))
            let value = bx.bitcast(value, bx.type_vector(bx.type_f64(), 2));
        }