the manufacture of coke and gas products