void os_error (U32 err_code) { /* HERE: include optional code to be executed on runtime error. */ for (;;); }