final private function prefetch() {
        static $prefetched = false;
        if(!$prefetched) {
            $prefetched = true;
            while($row = $this->doFetch()) $this->prefetched[] = $row;
        }
    }