pun

Concise Oxford English Dictionary © 2008 Oxford University Press:
pun1

▶noun a joke exploiting the different meanings of a word or the fact that there are words of the same sound and different meanings. ▶verb (puns, punning, punned) (often as adj. punning) make a pun.

– derivatives
punningly adverb,
punster noun.

– origin C17: perh. an abbrev. of obs. pundigrion, as a fanciful alt. of punctilio.

Concise Oxford English Dictionary © 2008 Oxford University Press:
pun2

▶verb (puns, punning, punned) Brit. consolidate (earth or rubble) by pounding it.

– derivatives
punner noun.

– origin C16: dial. var. of pound2.