one of 38 dining halls