# CONFIG_DIBS is not set
