# CONFIG_UBSAN is not set