אין חופרין כוכין בחפירה וקברו' בבנין בחול המועד להיות מוכנים למת שימו' אבל מחנכין אותם שאם היה ארוך מקצרו או מאריכו או מרחיבו:
