A device that converts coke or other carbonaceous material into producer gas may be used as a source of fuel gas for industrial use. Portable gas generators of this type were used during World War II to power vehicles as a way of alleviating petrol shortages.[13]