# CONFIG_DGNC is not set