to pipeline [ pipelined ; pipelined ]