The SWAMP

How would the routes for these /32s get propagated? I assume you'd want
them to be announced via BGP, so everyone would have to rewrite their
filters to let those routes in. Right?

We'd take them from a low numbered Class C to avoid the new-block filters.