Manufacture of coke and refined petroleum products 19