{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"ExternAbi::CmseNonSecureEntry"}]}
            ExternAbi::CmseNonSecureEntry => Abi::CCmseNonSecureEntry,
            ExternAbi::CmseNonSecureCall => Abi::CCmseNonSecureCall,
            ExternAbi::System { unwind } => Abi::System { unwind },