A man was hammering a stone slab with a gavel to make a ding-dong sound.