Python3 compatibility: tokens.next() to next(tokens)