a covered walkway or portico.