a gas made of carbon monoxide and hydrogen and nitrogen; made by passing air over hot coke