void __attribute__((interrupt, auto_psv)) _DefaultInterrupt(void)
{
}