# CONFIG_UBSAN_ENUM is not set
