# CONFIG_UBSAN_DIV_ZERO is not set
