A large industrial or government building.