# CONFIG_DGAP is not set