{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"ExternAbi::X86Interrupt"}]}
            ExternAbi::X86Interrupt => Abi::X86Interrupt,
            ExternAbi::Msp430Interrupt => Abi::Msp430Interrupt,
            ExternAbi::EfiApi => Abi::EfiApi,