כדי לאפשר תוספת של קומה בעתיד, הוכנו למבנה קוצים בולטים מעל העמודים. מה צריך להיות אורך הבליטה של הקוצים מעל התקרה לאחר יציקתה?