Further work on C++ pipelining mechanism