# CONFIG_MADGEMC is not set
