6exception_handler handlers[256] = { [0 ... 255] =
nullptr };
10 if (handlers[exc.id] ==
nullptr) {
11 bad(
"Exception #%d!", exc.id)
12 if (exc.type !=
nullptr) bad(" Type: %s.\n", exc.type)
13 if (exc.message !=
nullptr) bad("Message: %s\n", exc.message)
14 bad("Code location: %s:%d\n", exc.file, exc.line)
16 } else handlers[exc.
id](exc);
19void handle_exceptions(u_byte
id, exception_handler handler) {
20 handlers[id] = handler;
23void terminate(u_byte code) {