PUNS

a joke exploiting the different possible meanings of a word or the fact that there are words which sound alike but have different meanings

make a joke exploiting the different possible meanings of a word

consolidate (earth or rubble) by pounding it.