(v)cokebecome coke“petroleum oils coke after distillation”