def pushtoken(token, tokens):
 (yield token)
 for t in tokens:
  (yield t)

def pushtoken ( token , tokens ) : ( yield token ) for t in tokens : ( yield t )
return new generator starting with token followed by all tokens in tokens .