{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"ExternAbi::CmseNonSecureCall"}]}
                ExternAbi::CmseNonSecureCall => {
            match abi {
                    // prevent double reporting of this error