This should be defined inside `ddg_spice_congress`. We're trying to limit the number of global variables so that we don't accidentally botch some other variable.