A carbon dioxide fire extinguisher is...