const default_enable_segfault_handler: bool = runtime_safety and have_segfault_handling_support;