int __my_setjmp(__jmp_buf buf) { return __dummy(buf, 0); }
void __my_longjmp(__jmp_buf buf, int value) { __dummy(buf, value); return; }
void cyg_start (void) { __dummy((void *)&__hdr); // Just to keep it in! for(;;) breakpoint(); }