Carbon-Dioxide Fire-Extinguishing Piping