Which gas is used in a fire extinguisher cylinder