# CONFIG_UBSAN_SANITIZE_ALL is not set