[HAVE_CARBON && HAVE_AVAILABILITYMACROS_H]: