{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            return_value = builder.context.new_cast(None, return_value, f16_type);
        "__builtin_ia32_encodekey128_u32" => {