{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"InterruptKind::Msp430"}]}
            InterruptKind::Msp430 => FnAttribute::Msp430Interrupt,
            InterruptKind::AvrNonBlocking => FnAttribute::AvrInterrupt,
            InterruptKind::RiscvMachine => FnAttribute::RiscvInterrupt("machine"),