# CONFIG_UBSAN_TRAP is not set
