وَالشَّيَاطِينَ كُلَّ بَنَّاء وَغَوَّاصٍ

و شياطين را مسخّر او كرديم، هر بنّا و غوّاصی از آنها را!

And [also] the devils [of jinn] - every builder and diver

سوره  ص آيه 37