Supply of coke