# CONFIG_UBSAN_UNREACHABLE is not set
