# CONFIG_DSCC4 is not set
