"""Operating-system infrastructure."""