emit desc_of_token function returning the %token description