Definition:

machicolations