# CONFIG_UBSAN_SIGNED_WRAP is not set
