{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"}))"}]}
        }))
            InstructionSetAttr::ArmT32 => "+thumb-mode".to_string(),
        .collect::<Vec<String>>();