# CONFIG_RDS is not set