this.do($.Func(function($elem) {
        items.push($elem.__str__());
        return $nil;
      }));