the workmen threw down earth and stones, and buried deep that portion of the wall in which was the vault where the