# CONFIG_UBSAN_BOOL is not set
