FSHOW((stderr, "/__OpenBSD__ case, SIGSEGV=%d\n", SIGSEGV));
interrupt_install_low_level_handler(SIGSEGV, memory_fault_handler);
#else
#error unsupported BSD variant
#endif
FSHOW((stderr, "/__OpenBSD__ case, SIGSEGV=%d\n", SIGSEGV));
interrupt_install_low_level_handler(SIGSEGV, memory_fault_handler);
#else
#error unsupported BSD variant
#endif