{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"#[allow(non_snake_case)]"}]}
        #[allow(non_snake_case)]
        let sym_x = Symbol::intern("x");
        let sym_S = Symbol::intern("S");