# CONFIG_SCTP_DBG_OBJCNT is not set