{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"InstructionSetAttr::ArmA32"}]}
            InstructionSetAttr::ArmA32 => "-thumb-mode".to_string(),
        .chain(codegen_fn_attrs.instruction_set.iter().map(|x| match x {
            InstructionSetAttr::ArmT32 => "+thumb-mode".to_string(),