# CONFIG_REFCOUNT_FULL is not set