a building with a covered porch