add pure attribute to HttpHeaders::find_token(…)