int __attribute__((noreturn)) main (void);
void __attribute__((interrupt)) rti (void);
void __attribute__((interrupt)) sci_interrupt (void);
int __attribute__((noreturn)) main (void);
void __attribute__((interrupt)) rti (void);
void __attribute__((interrupt)) sci_interrupt (void);