Just push to a single tokens array.