void shutdown() { extern void __attribute__((noreturn)) _finish_shutdown(void); _finish_shutdown(); }
// TODO not really complete, last call from task_Bye void shutdown() { extern void _finish_shutdown(void); _finish_shutdown(); while(1); }