We still need to specify `setup_config`.