1. (

• coke

) become coke; "petroleum oils coke after distillation" ;