Rashi on Sukkah 53a:12 · רש"י על סוכה · free full Hebrew text
בשעה שכרה דוד שיתין - ולא סבירא ליה שמששת ימי בראשית נבראו ואי סבירא ליה שמא נתמלאו עפר או צרורות וצריך לכרותן:
קפא תהומא - צף התהום למעלה ויצא ויצף הברזל מתרגמינן וקפא פרזלא (מלכים ב ו):