vigorous banging

.