{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"InterruptKind::RiscvMachine"}]}
                InterruptKind::RiscvMachine => ExternAbi::RiscvInterruptM,
                InterruptKind::Msp430 => ExternAbi::Msp430Interrupt,
                InterruptKind::RiscvSupervisor => ExternAbi::RiscvInterruptS,